Radu Lazar Liste des articlesn° 67, 1994/5Méthodes formelles pour l'étude des programmes (Paul Gochet et Pascal Gribomont)