Laura Kovacs,
"Program Verification Using Hoare Logic"
: Proceedings of Computer Aided Verification of Information Systems: A Practical Industry-Oriented Approach - CAVIS03, 2003, Proceedings of Computer Aided Verification of Information Systems: A Practical Industry-Oriented Approach - CAVIS03, Workshop, e-Austria Institute, Timisoara, Feb. 2003
Original Titel:
Program Verification Using Hoare Logic
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of Computer Aided Verification of Information Systems: A Practical Industry-Oriented Approach - CAVIS03
Erscheinungsjahr:
2003
Notiz zum Zitat:
Proceedings of Computer Aided Verification of Information Systems: A Practical Industry-Oriented Approach - CAVIS03, Workshop, e-Austria Institute, Timisoara, Feb. 2003
Forschungs-