Zvonimir Rakamaric, Michael Emmi
SMACK: Decoupling Source Language Details from Verifier Implementations
CAV, 2014.
@inproceedings{CAV-2014-RakamaricE, author = "Zvonimir Rakamaric and Michael Emmi", booktitle = "{Proceedings of the 26th International Conference on Computer Aided Verification}", doi = "10.1007/978-3-319-08867-9_7", isbn = "978-3-319-08866-2", pages = "106--113", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{SMACK: Decoupling Source Language Details from Verifier Implementations}", volume = 8559, year = 2014, }