%0 Conference Paper %1 conf/popl/DSilvaHK14 %A D'Silva, Vijay Victor %A Haller, Leopold %A Kroening, Daniel %B POPL %D 2014 %E Jagannathan, Suresh %E Sewell, Peter %I ACM %K dblp %P 139-150 %T Abstract satisfaction. %U http://dblp.uni-trier.de/db/conf/popl/popl2014.html#DSilvaHK14 %@ 978-1-4503-2544-8

@inproceedings{conf/popl/DSilvaHK14, added-at = {2021-11-16T00:00:00.000+0100}, author = {D'Silva, Vijay Victor and Haller, Leopold and Kroening, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/2f36130557942f4abb7b7aa15f3738def/dblp}, booktitle = {POPL}, crossref = {conf/popl/2014}, editor = {Jagannathan, Suresh and Sewell, Peter}, ee = {https://doi.org/10.1145/2578855.2535868}, interhash = {e3cd7633dd04a833f53de74489e99c6b}, intrahash = {f36130557942f4abb7b7aa15f3738def}, isbn = {978-1-4503-2544-8}, keywords = {dblp}, pages = {139-150}, publisher = {ACM}, timestamp = {2024-04-09T13:30:19.000+0200}, title = {Abstract satisfaction.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2014.html#DSilvaHK14}, year = 2014 }