## Susanne Graf, Hassen Saïdi

*Verifying Invariants Using theorem Proving*

CAV, 1996.

@inproceedings{CAV-1996-GrafS, author = "Susanne Graf and Hassen Saïdi", booktitle = "{Proceedings of the Eighth International Conference on Computer Aided Verification}", doi = "10.1007/3-540-61474-5_69", isbn = "3-540-61474-5", pages = "196--207", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Verifying Invariants Using theorem Proving}", volume = 1102, year = 1996, }