Nikolaj Popov,
"Verification Using Weakest Precondition Strategy"
, in Proceedings of Computer Aided Verification of Information Systems, 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
Erscheinungsjahr:
2003
Notiz zum Zitat:
A Practical Industry-Oriented Approach - CAVIS03, Workshop, e-Austria Institute, Timisoara, Feb. 2003
Forschungs-