@inproceedings{874faf8078f8489eba41ace985f1f254,
title = "Proofs-as-imperative-programs: application to synthesis of contracts",
author = "Poernomo, {Iman Hafiz}",
year = "2003",
language = "English",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "112 -- 119",
editor = "Manfred Broy and Zamulin, {Alexandre V}",
booktitle = "Proceedings of the 5th International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI 2003)",
address = "Switzerland",
note = "Perspectives of Systems Informatics International Andrei Ershov Memorial Conference ; Conference date: 01-01-2003",
}