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