%0 Conference Paper %1 conf/icse/CadarD25 %A Cadar, Cristian %A Donaldson, Alastair F. %B ICSE (Companion Volume) %D 2016 %E Dillon, Laura K. %E Visser, Willem %E Williams, Laurie A. %I ACM %K dblp %P 765-768 %T Analysing the program analyser. %U http://dblp.uni-trier.de/db/conf/icse/icse2016c.html#CadarD25 %@ 978-1-4503-4205-6

@inproceedings{conf/icse/CadarD25, added-at = {2022-12-07T00:00:00.000+0100}, author = {Cadar, Cristian and Donaldson, Alastair F.}, biburl = {https://www.bibsonomy.org/bibtex/2738329ce65941705c245dc8159fa14ef/dblp}, booktitle = {ICSE (Companion Volume)}, crossref = {conf/icse/2016c}, editor = {Dillon, Laura K. and Visser, Willem and Williams, Laurie A.}, ee = {https://ieeexplore.ieee.org/document/7883398/}, interhash = {f9a6d0210dbad133d97d20c1424818bd}, intrahash = {738329ce65941705c245dc8159fa14ef}, isbn = {978-1-4503-4205-6}, keywords = {dblp}, pages = {765-768}, publisher = {ACM}, timestamp = {2024-04-10T15:18:39.000+0200}, title = {Analysing the program analyser.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2016c.html#CadarD25}, year = 2016 }