home
>
book reviews
> Jean-Marc Meynadier
Google >
Jean-Marc Meynadier
author : Jean-Marc Meynadier
Short works
Meteor: A Successful Application of B in a Large Project. 1999.
(In
FM'99 volume 1
)