Michael A. Hennell
The First Thirty Years: Experience with Software Verification
TAP, 2008.
@inproceedings{TAP-2008-Hennell, author = "Michael A. Hennell", booktitle = "{Proceedings of the Second International Conference on Tests and Proofs}", doi = "10.1007/978-3-540-79124-9_1", isbn = "978-3-540-79123-2", pages = "1--3", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{The First Thirty Years: Experience with Software Verification}", volume = 4966, year = 2008, }