Title
Arithmetic Bit-Level Verification Using Network Flow Model.
Year
DOI
Venue
2013
10.1007/978-3-319-03077-7_22
Haifa Verification Conference
DocType
Citations 
PageRank 
Conference
3
0.47
References 
Authors
10
3
Name
Order
Citations
PageRank
Maciej J. Ciesielski162974.80
Walter Brown2473.10
André Rossi330.81