%0 Conference Paper %1 conf/acm/AdamsAS79 %A Adams, J. Mack %A Armstrong, James %A Smartt, Melissa %B ACM Annual Conference %D 1979 %I ACM %K dblp %P 152-156 %T Assertional checking and symbolic execution: An effective combination for debugging. %U http://dblp.uni-trier.de/db/conf/acm/acm1979.html#AdamsAS79 %@ 0-89791-008-7

@inproceedings{conf/acm/AdamsAS79, added-at = {2018-11-06T00:00:00.000+0100}, author = {Adams, J. Mack and Armstrong, James and Smartt, Melissa}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2422f09a668f501303606d67f9d35ac4b/dblp}, booktitle = {ACM Annual Conference}, crossref = {conf/acm/1979}, ee = {https://doi.org/10.1145/800177.810051}, interhash = {dd0a12d2607c4b43c951084528c8f3f5}, intrahash = {422f09a668f501303606d67f9d35ac4b}, isbn = {0-89791-008-7}, keywords = {dblp}, pages = {152-156}, publisher = {ACM}, timestamp = {2019-09-27T13:17:05.000+0200}, title = {Assertional checking and symbolic execution: An effective combination for debugging.}, url = {http://dblp.uni-trier.de/db/conf/acm/acm1979.html#AdamsAS79}, year = 1979 }