Tudor Dr. Jebelean, Nikolaj Popov, Laura Kovacs,
"Experimental Program Verification in the Theorema System"
, in International Journal on Software Tools for Technology Transfer (STTT), Springer, 2006, ISSN: 1433-2787
Original Titel:
Experimental Program Verification in the Theorema System
Sprache des Titels:
Englisch
Journal:
International Journal on Software Tools for Technology Transfer (STTT)