Paper Info
Title
Program Verification as Satisfiability Modulo Theories.
Year
DOI
Venue
2012
10.29007/1l7f
SMT@IJCAR
DocType
Volume
Citations 
Conference
20
26
PageRank 
References 
Authors
0.79
4
3
Name
Order
Citations
PageRank
Nikolaj Bjørner13818181.02
Kenneth L. McMillan23332269.05
Andrey Rybalchenko3143968.53