DMCA

InvGen: An efficient invariant generator (2009)

by Ashutosh Gupta , Andrey Rybalchenko
Venue:In CAV
Citations:31 - 3 self