Vijay D'Silva, Leopold Haller, Daniel Kröning
Abstract satisfaction
POPL, 2014.
@inproceedings{POPL-2014-DSilvaHK, author = "Vijay D'Silva and Leopold Haller and Daniel Kröning", booktitle = "{Proceedings of the 41st Symposium on Principles of Programming Languages}", doi = "10.1145/2535838.2535868", editor = "Suresh Jagannathan and Peter Sewell", isbn = "978-1-4503-2544-8", pages = "139--150", publisher = "{ACM}", title = "{Abstract satisfaction}", year = 2014, }