Paper Info
Title
Pretty-big-step-semantics-based Certified Abstract Interpretation.
Year
Venue
DocType
2014
JFLA
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
3
Name
Order
Citations
PageRank
Martin Bodin1474.28
Thomas P. Jensen263268.50
Alan Schmitt354731.50