June Andronick
Successes in Deployed Verified Software (and Insights on Key Social Factors)
FM, 2019.
@inproceedings{FM-2019-Andronick, author = "June Andronick", booktitle = "{Third World Congress on Formal Methods: The Next 30 Years}", doi = "10.1007/978-3-030-30942-8_2", isbn = "['978-3-030-30941-1', '978-3-030-30942-8']", pages = "11--17", publisher = "{Springer}", title = "{Successes in Deployed Verified Software (and Insights on Key Social Factors)}", year = 2019, }