Tudor Jebelean, Laura Kovacs,
"Practical Aspects of Imperative Program Verification using Theorema"
, in V. Negru, T. Jebelean: Symbolic and Numeric Algorithms for Scientific Computing, 2003, ISBN: 973-661-104-3, Proceedings of the SYNASC03 Workshop, Timisoara, Romania, October 2003
Original Titel:
Practical Aspects of Imperative Program Verification using Theorema
Sprache des Titels:
Englisch
Original Buchtitel:
Symbolic and Numeric Algorithms for Scientific Computing
Erscheinungsjahr:
2003
Notiz zum Zitat:
Proceedings of the SYNASC03 Workshop, Timisoara, Romania, October 2003