Tudor Jebelean,
"Imperative Program Verification with Theorema"
, in Proceedings of Computer Aided Verification of Information Systems: A Practical Industry-Oriented Approach - CAVIS03, Workshop, 2003
Original Titel:
Imperative Program Verification with Theorema
Sprache des Titels:
Englisch
Original Buchtitel:
A Practical Industry-Oriented Approach - CAVIS03, Workshop
Erscheinungsjahr:
2003
Notiz zur Publikation:
A Practical Industry-Oriented Approach - CAVIS03, Workshop, e- Austria Institute, Timisoara, Feb. 2003
Forschungs-