Peter Müller 0001, Natarajan Shankar. The First Fifteen Years of the Verified Software Project. In Cliff B. Jones, Jayadev Misra, editors, Theories of Programming: The Life and Works of Tony Hoare. pages 93-124, ACM / Morgan & Claypool, 2021. [doi]
@incollection{0001S21-10, title = {The First Fifteen Years of the Verified Software Project}, author = {Peter Müller 0001 and Natarajan Shankar}, year = {2021}, doi = {10.1145/3477355.3477362}, url = {https://doi.org/10.1145/3477355.3477362}, researchr = {https://researchr.org/publication/0001S21-10}, cites = {0}, citedby = {0}, pages = {93-124}, booktitle = {Theories of Programming: The Life and Works of Tony Hoare}, editor = {Cliff B. Jones and Jayadev Misra}, publisher = {ACM / Morgan & Claypool}, isbn = {978-1-4503-8728-6}, }