DMCA

A data driven approach for algebraic loop invariants (2012)

by Rahul Sharma , Saurabh Gupta , Bharath Hariharan , Alex Aiken , Percy Liang , Aditya V. Nori
Citations:13 - 6 self