D
Didier Bert
3 works on record
Works
ZB 2003 : Formal Specification and Development in Z and B
ZB 2003 : Formal Specification and Development in Z and B
ZB 2002 : Formal Specification and Development in Z and B
ZB 2002 : Formal Specification and Development in Z and B
Étude d'elements fondamentaux des langages de programmation
Étude d'elements fondamentaux des langages de programmation