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