Yann Zimmermann

According to our database, Yann Zimmermann authored at least 3 papers between 2004 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2006

Modélisation et développement formel de circuits électroniques. (Modelling and formal development of electronic circuits).

Yann Zimmermann

PhD thesis, 2006

2005

Component Reuse in B Using ACL2.

Yann Zimmermann, Diana Toma

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

2004

Circuit Design by Refinement in EventB1.

Stefan Hallerstede, Yann Zimmermann

Proceedings of the Forum on specification and Design Languages, 2004