Gerard J. Holzmann. Economics of software verification. In Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE 01, Snowbird, Utah, USA, June 18-19, 2001. pages 80-85, ACM, 2001. [doi]
@inproceedings{Holzmann01:0, title = {Economics of software verification}, author = {Gerard J. Holzmann}, year = {2001}, doi = {10.1145/379605.379681}, url = {http://doi.acm.org/10.1145/379605.379681}, researchr = {https://researchr.org/publication/Holzmann01%3A0}, cites = {0}, citedby = {0}, pages = {80-85}, booktitle = {Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE 01, Snowbird, Utah, USA, June 18-19, 2001}, publisher = {ACM}, isbn = {1-58113-413-4}, }