Héloïse : un langage et une méthode pour la description fonctionnelle de grands logiciels
séquentiels / par Roger Rousseau ; [sous la direction de C. Girault]. - Thèse de 3e
cycle : Informatique : Nice : 1977
Internet, https://catalogue.bnf.fr/ark:/12148/cb135018226, 2021-01-18
Information trouvée : né en 1947
Méthodes formelles pour les objets / coord. Pascal André, Roger Rousseau