Menu_Home Home   Menu_Latest Latest   Menu_Search Advanced Search   Menu_Browse_by_Year By Year   Menu_Browse_by_Division By Division
  
Screen decoration graphicsLogo

Proofs-as-imperative-programs: Application to Synthesis of Contracts

Poernomo, Iman (2003) Proofs-as-imperative-programs: Application to Synthesis of Contracts. In: Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers.

Full text not available from this repository.


Item Type:Conference or Workshop Item (Paper)
Subjects:UNSPECIFIED
ID Code:239
Deposited By:Dr Iman Poernomo
Deposited On:08 Nov 2007 17:11
Last Modified:08 Nov 2007 17:11

Repository Staff Only: item control page