Home › Authors › Didier Bert 👤 Didier Bert 2 books Books by Didier Bert ZB 2003 : Formal Specification ZB 2003 : Formal Specification and Development in Z and B 2003 Étude d'elements fondamentaux Étude d'elements fondamentaux des langages de programmation 1973