👤

Jean-Raymond Abrial

3 books

Books by Jean-Raymond Abrial

Modeling in event-b
Modeling in event-b
2010
Rigorous methods for software construction and analysis
Rigorous methods for software construction and analysis
2010
Formal methods for industrial applications
Formal methods for industrial applications
1996