Paper Info
Title
Boosting k-Induction with Continuously-Refined Invariants.
Year
Venue
DocType
2015
Computer Aided Verification
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
3
Name
Order
Citations
PageRank
Dirk Beyer11736100.85
Matthias Dangl2604.53
Philipp Wendler325114.51