Henri Habrias (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Henri Habrias, B. Griech: Formal Specification of Dynamic Constraints with the B Method. ICFEM 1997: 304-314

Selection of 1 from 12 records - Henri Habrias has 14 coauthors