Title: La vérification
First published: 1992
Subjects: Verification (Logic)
LC classification: BC199.V4 G73 1992