L'utilisation de méthodes quantitatives en vérification - Cormier, Denis, 1956- (Presses de l'Université du Québec, 1994)