Title: Actes des Journées francophones sur la certification du logiciel
Subjects: Computer programs, Congresses, Validation, Verification