M. Erascu and T. Jebelean. Soundness of a Logic-Based Verification Method for Imperative Loops.
In: Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, A. Voronkov, V. Negru, T. Ida, T. Jebelean, D. Petcu, S. Watt, D. Zaharie (ed.), pp. 127-134. 2012. IEEE Computer Society, 978-0-7695-4934-7.
synasc2012_postproceedings.pdf
—
PDF document,
254 KB (260266 bytes)