Didier Bert

Didier Bert

2 books in the database

Books

ZB 2002 : Formal Specification and Development in Z and BDidier Bert

ZB 2002 : Formal Specification and Development in Z and B

Didier Bert · 2003

ZB 2003 : Formal Specification and Development in Z and BDidier Bert

ZB 2003 : Formal Specification and Development in Z and B

Didier Bert · 2003