Alternating Simulation and IOCO

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-16573-3_5 ◽

2010 ◽

pp. 47-62 ◽

Cited By ~ 8

Author(s):

Margus Veanes ◽

Nikolaj Bjørner

Download Full-text