Henri Habrias
Biographie
Professeur d'informatique à l'IUT de Nantes (en 1994).
Contributions de Henri Habrias
-
Putting into practice methods and tools for information system design, conference proceedingsInternational conference on putting into practice methods and tools for information system design
-
Z twenty years on. What is its future ?, proceedings of the 7th International conference on Putting into practice methods and tools for information system design, October, 10-12, 1995, NantesInternational conference on putting into practice methods and tools for information system design
-
International workshop on Comparing systems specification techniques "What questions are prompted by ones particular method of specification?", March 26-27, 1998, Nantes, FranceInternational workshop on comparing systems specification techniques
-
ZB 2002, Grenoble, France, [January 23-25, 2002], 4th International B conference [and the 13 International Z user meeting]International Z and B conference
