Title: Formal approaches to software testing and runtime verification
First published: 2006
Subjects: Congresses, Formal methods (Computer science), Testing, Computer software
LC classification: QA76.9.F67 F524 2006