Aboubakr Achraf El Ghazi, Mana Taghdiri
Relational Reasoning via SMT Solving
FM, 2011.
@inproceedings{FM-2011-GhaziT, author = "Aboubakr Achraf El Ghazi and Mana Taghdiri", booktitle = "{Proceedings of the 17th International Symposium of Formal Methods}", doi = "10.1007/978-3-642-21437-0_12", isbn = "978-3-642-21436-3", pages = "133--148", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Relational Reasoning via SMT Solving}", volume = 6664, year = 2011, }