Testing from X-Machine Specifications

Formal Methods and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78917-8_6 ◽

2008 ◽

pp. 184-208 ◽

Cited By ~ 4

Author(s):

Kirill Bogdanov

Download Full-text