Title: Construction, amélioration et vérification de programmes
Subjects: Reliability, Testing, Congresses, Verification, Computer programs