Paper Info
Title
Bridging the Gap: Automatic Verified Abstraction of C.
Year
DOI
Venue
2012
10.1007/978-3-642-32347-8_8
ITP
Field
DocType
Citations 
HOL,Abstraction,Programming language,Computer science,Automated theorem proving,Bridging (networking),Imperative programming,Mathematical proof,Semantics,Proof assistant
Conference
19
PageRank 
References 
Authors
0.79
8
3
Name
Order
Citations
PageRank
David Greenaway1190.79
June Andronick290342.66
Gerwin Klein3145087.47