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