Soundness of a Logic-Based Verification Method for Imperative Loops

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Editors	V. Negru, A. Voronkov
Number of pages	8
Publication status	Published - 2012

Fields of science

@inproceedings{9864072a4fdc49758497f630d5dafc3f,

title = "Soundness of a Logic-Based Verification Method for Imperative Loops",

author = "Madalina Erascu and Tudor Jebelean",

year = "2012",

language = "English",

editor = "{V. Negru, A. Voronkov}",

booktitle = "Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing",

}