DMCA

From tests to proofs (2009)

by Ashutosh Gupta , Rupak Majumdar , Andrey Rybalchenko
Venue:In Proc. ACAS, LNCS 5505
Citations:23 - 3 self