Nikolaj Popov, Tudor Jebelean,
"Functional Program Verification in Theorema. Soundness and Completeness"
, in J. Knoop, A. Prantl: Proceedings of 15th Biennial Workshop on Programmiersprachen und Grundlagen der Programmierung KPS'09, Maria Taferl, Austria, Seite(n) 221-229, 10-2009
Original Titel:
Functional Program Verification in Theorema. Soundness and Completeness
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of 15th Biennial Workshop on Programmiersprachen und Grundlagen der Programmierung KPS'09