Proofs-as-imperative-programs: application to synthesis of contracts

Iman Hafiz Poernomo

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    1 Citation (Scopus)
    Original languageEnglish
    Title of host publicationProceedings of the 5th International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI 2003)
    EditorsManfred Broy, Alexandre V Zamulin
    Place of PublicationNY USA
    PublisherSpringer-Verlag London Ltd.
    Pages112 - 119
    Number of pages8
    Volume2890
    ISBN (Print)0302-9743
    Publication statusPublished - 2003
    EventPerspectives of Systems Informatics International Andrei Ershov Memorial Conference - Akademgorodok Novosibirsk Russia, NY USA
    Duration: 1 Jan 2003 → …

    Conference

    ConferencePerspectives of Systems Informatics International Andrei Ershov Memorial Conference
    CityNY USA
    Period1/01/03 → …

    Cite this

    Poernomo, I. H. (2003). Proofs-as-imperative-programs: application to synthesis of contracts. In M. Broy, & A. V. Zamulin (Eds.), Proceedings of the 5th International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI 2003) (Vol. 2890, pp. 112 - 119). Springer-Verlag London Ltd..