Tudor Jebelean, Laura Kovacs,
"An Algorithm for Automated Generation of Invariants for Loops with Conditionals"
, in D. Petcu et al: Proceedings of the Computer-Aided Verification on Information Systems Workshop (CAVIS05), 7th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC05), Serie Department of Computer Science, West University of Timisoara, Romania, Seite(n) 16-19, 9-2005
Original Titel:
An Algorithm for Automated Generation of Invariants for Loops with Conditionals
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the Computer-Aided Verification on Information Systems Workshop (CAVIS05), 7th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC05)
Serie:
Department of Computer Science, West University of Timisoara, Romania