%0 Conference Paper %1 conf/sigsoft/LahiriMSH13 %A Lahiri, Shuvendu K. %A McMillan, Kenneth L. %A Sharma, Rahul %A Hawblitzel, Chris %B ESEC/SIGSOFT FSE %D 2013 %E Meyer, Bertrand %E Baresi, Luciano %E Mezini, Mira %I ACM %K dblp %P 345-355 %T Differential assertion checking. %U http://dblp.uni-trier.de/db/conf/sigsoft/fse2013.html#LahiriMSH13 %@ 978-1-4503-2237-9

@inproceedings{conf/sigsoft/LahiriMSH13, added-at = {2018-11-06T00:00:00.000+0100}, author = {Lahiri, Shuvendu K. and McMillan, Kenneth L. and Sharma, Rahul and Hawblitzel, Chris}, biburl = {https://www.bibsonomy.org/bibtex/2593dba237d7ba75222fcb78c073dd673/dblp}, booktitle = {ESEC/SIGSOFT FSE}, crossref = {conf/sigsoft/2013}, editor = {Meyer, Bertrand and Baresi, Luciano and Mezini, Mira}, ee = {https://doi.org/10.1145/2491411.2491452}, interhash = {a0471109a2c698e5561575ea7adafae0}, intrahash = {593dba237d7ba75222fcb78c073dd673}, isbn = {978-1-4503-2237-9}, keywords = {dblp}, pages = {345-355}, publisher = {ACM}, timestamp = {2024-04-09T17:52:43.000+0200}, title = {Differential assertion checking.}, url = {http://dblp.uni-trier.de/db/conf/sigsoft/fse2013.html#LahiriMSH13}, year = 2013 }