%0 Conference Paper %1 conf/ifm/CalameIPS07 %A Calamé, Jens R. %A Ioustinova, Natalia %A van de Pol, Jaco %A Sidorova, Natalia %B IFM %D 2007 %E Davies, Jim %E Gibbons, Jeremy %I Springer %K dblp %P 98-117 %T Bug Hunting with False Negatives. %U http://dblp.uni-trier.de/db/conf/ifm/ifm2007.html#CalameIPS07 %V 4591 %@ 978-3-540-73209-9

@inproceedings{conf/ifm/CalameIPS07, added-at = {2017-03-29T00:00:00.000+0200}, author = {Calamé, Jens R. and Ioustinova, Natalia and van de Pol, Jaco and Sidorova, Natalia}, biburl = {https://www.bibsonomy.org/bibtex/21bdeb9464ebd734421369a4ed917f868/dblp}, booktitle = {IFM}, crossref = {conf/ifm/2007}, editor = {Davies, Jim and Gibbons, Jeremy}, ee = {http://dx.doi.org/10.1007/978-3-540-73210-5_6}, interhash = {2d4147896a423224fa794a4226485e7c}, intrahash = {1bdeb9464ebd734421369a4ed917f868}, isbn = {978-3-540-73209-9}, keywords = {dblp}, pages = {98-117}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2017-03-30T12:37:11.000+0200}, title = {Bug Hunting with False Negatives.}, url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2007.html#CalameIPS07}, volume = 4591, year = 2007 }