@inproceedings{Andronick_19, address = {Porto, Portugal}, author = {Andronick, June}, booktitle = {FM 2019: Formal Methods -- The Next 30 Years}, date = {2019-10-7}, doi = {https://doi.org/10.1007/978-3-030-30942-8\_2}, month = oct, pages = {11-17}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS); volume 11800}, title = {Successes in deployed verified software (and insights on key social factors)}, year = {2019} }