home
>
book reviews
> Yann Zimmermann
Google >
Yann Zimmermann
author : Yann Zimmermann
Short works
Component reuse in B using ACL2. 2005.
(In
ZB 2005
)