Nikolaj Popov,
"Verification Using Weakest Precondition Strategy"
, in Proceedings of Computer Aided Verification of Information Systems: A Practical Industry-Oriented Approach - CAVIS03, Workshop, 2003, A Practical Industry-Oriented Approach - CAVIS03, Workshop, e-Austria Institute, Timisoara, Feb. 2003
Original Titel:
Verification Using Weakest Precondition Strategy
Sprache des Titels:
Englisch
Original Buchtitel:
A Practical Industry-Oriented Approach - CAVIS03, Workshop
Erscheinungsjahr:
2003
Notiz zum Zitat:
A Practical Industry-Oriented Approach - CAVIS03, Workshop, e-Austria Institute, Timisoara, Feb. 2003