Thomas Ball. Secrets of Software Model Checking. In Juan José Moreno-Navarro, Julio Mariño-Carballo, editors, AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002. pages 3, Facultad de Informática, Universidad Politécnica de Madrid, 2002. [doi]
@inproceedings{Ball02-3, title = {Secrets of Software Model Checking}, author = {Thomas Ball}, year = {2002}, url = {https://www.programmazionelogica.it/wp-content/uploads/2002/09/agp02_intro.pdf}, researchr = {https://researchr.org/publication/Ball02-3}, cites = {0}, citedby = {0}, pages = {3}, booktitle = {AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002}, editor = {Juan José Moreno-Navarro and Julio Mariño-Carballo}, publisher = {Facultad de Informática, Universidad Politécnica de Madrid}, }