Yann Zimmermann

Publication Activity (10 Years)

Years Active: 2004-2005
Publications (10 Years): 0

Publications

Yann Zimmermann, Diana Toma
Component Reuse in B Using ACL2. ZB (2005)
Stefan Hallerstede, Yann Zimmermann
Circuit Design by Refinement in EventB1. FDL (2004)