B. Scott Andersen, George Romanski. Verification of safety-critical software. Communications of the ACM, 54(10):52-57, 2011. [doi]
@article{AndersenR11,
title = {Verification of safety-critical software},
author = {B. Scott Andersen and George Romanski},
year = {2011},
doi = {10.1145/2001269.2001286},
url = {http://doi.acm.org/10.1145/2001269.2001286},
researchr = {https://researchr.org/publication/AndersenR11},
cites = {0},
citedby = {0},
journal = {Communications of the ACM},
volume = {54},
number = {10},
pages = {52-57},
}