@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},
    paperurl         = {https://trustworthy.systems/publications/full_text/Andronick_19.pdf},
    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}
  }