Tudor Jebelean, Nikolaj Popov,
"A Practical Approach to Verification of Recursive Programs in 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:
A Practical Approach to Verification of Recursive Programs in 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
Forschungs-