From Tests to Proofs

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-00768-2_24 ◽

2009 ◽

pp. 262-276 ◽

Cited By ~ 31

Author(s):

Ashutosh Gupta ◽

Rupak Majumdar ◽

Andrey Rybalchenko

Download Full-text