![](/img/cover-not-exists.png)
Formally verified software in the real world
Klein, Gerwin, Andronick, June, Fernandez, Matthew, Kuz, Ihor, Murray, Toby, Heiser, GernotVolume:
61
Language:
english
Journal:
Communications of the ACM
DOI:
10.1145/3230627
Date:
September, 2018
File:
PDF, 2.74 MB
english, 2018