author : Guilhem Pouzancre

Short works

• How to design a modern car with a formal B method?. 2003. (In ZB 2003 )