Didier Bert
Books by Didier Bert
- ZB 2003 : Formal Specification and Development in Z and BZB 2003 : Formal Specification and Development in Z and B2003
- ZB 2002 : Formal Specification and Development in Z and BZB 2002 : Formal Specification and Development in Z and B2003
- Étude d'elements fondamentaux des langages de programmationÉtude d'elements fondamentaux des langages de programmation1973