Madalina Erascu, Tudor Jebelean,
"A Purely Logical Approach to the Termination of Imperative Loops"
: Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 9-2010
Original Titel:
A Purely Logical Approach to the Termination of Imperative Loops
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Forschungs-