%0 Conference Paper %1 conf/paste/Holzmann01 %A Holzmann, Gerard J. %B PASTE %D 2001 %E Field, John %E Snelting, Gregor %I ACM %K dblp %P 80-85 %T Economics of software verification. %U http://dblp.uni-trier.de/db/conf/paste/paste2001.html#Holzmann01 %@ 1-58113-413-4

@inproceedings{conf/paste/Holzmann01, added-at = {2018-11-06T00:00:00.000+0100}, author = {Holzmann, Gerard J.}, biburl = {https://www.bibsonomy.org/bibtex/2cf7c40608f5e31732722e618df0733db/dblp}, booktitle = {PASTE}, crossref = {conf/paste/2001}, editor = {Field, John and Snelting, Gregor}, ee = {https://doi.org/10.1145/379605.379681}, interhash = {01dbe337943b10fe5feba6b276f6ec87}, intrahash = {cf7c40608f5e31732722e618df0733db}, isbn = {1-58113-413-4}, keywords = {dblp}, pages = {80-85}, publisher = {ACM}, timestamp = {2018-11-07T14:45:07.000+0100}, title = {Economics of software verification.}, url = {http://dblp.uni-trier.de/db/conf/paste/paste2001.html#Holzmann01}, year = 2001 }