Title: Formal approaches to software testing
Subjects: Formal methods (Computer science), Testing, Congresses, Computer software, Informatique, Programming Languages, Essais, COMPUTERS, General, Methodes formelles (Informatique), Model Checking, Logiciels, Congres, Testen, Software, Computer software, testing