Paper Info
Title
Formally verified software in the real world.
Abstract
Verified software secures the Unmanned Little Bird autonomous helicopter against mid-flight cyber attacks.
Year
DOI
Venue
2018
10.1145/3230627
Communications of the ACM
Field
DocType
Volume
Programming language,Computer science,Software
Journal
61
Issue
ISSN
Citations 
10
0001-0782
4
PageRank 
References 
Authors
0.43
22
6
Name
Order
Citations
PageRank
Gerwin Klein1145087.47
June Andronick290342.66
Matthew Fernandez3152.39
Ihor Kuz430430.28
Toby C. Murray5353.71
Gernot Heiser62525137.42