Search Results1-2 of  2

  • Basin David ID: 9000287186942

    Articles in CiNii:1

    • Strategies Explained (1999)
  • BASIN David ID: 9000348892270

    Articles in CiNii:2

    • The Z Specification Language and the Proof Environment Isabelle/HOL-Z (2007)
    • A Formal Analysis of a Digital Signature System (2005)
Page Top