Skip to main content
Log In
[19-20]-Fiabilité Logicielle Saint-Jérôme
Search courses
Courses
Sciences
Master
Informatique
Ingénierie du logiciel et des données (ILD)
[19-20]-FiabilitéSt-Jérôme
Summary
[19-20]-Fiabilité Logicielle Saint-Jérôme
Méthodologie de tests de programmes et introduction aux méthodes formelles
Teacher:
Line JAMET-JAKUBIEC
