Paper Info
Title
Certified software
Abstract
Only if the programmer can prove (through formal machine-checkable proofs) it is free of bugs with respect to a claim of dependability.
Year
DOI
Venue
2010
10.1145/1859204.1859226
Commun. ACM
Keywords
DocType
Volume
certified software,formal machine-checkable proof
Journal
53
Issue
Citations 
PageRank 
12
6
0.46
References 
Authors
19
1
Name
Order
Citations
PageRank
Zhong Shao189768.80