Madalina Erascu, Tudor Jebelean,
"Soundness of a Logic-Based Verification Method for Imperative Loops"
, in V. Negru, A. Voronkov: Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012
Original Titel:
Soundness of a Logic-Based Verification Method for Imperative Loops
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Forschungs-