Title: Formal approaches to software testing
Subjects: Formal methods (Computer science), Testing, Congresses, Computer software