home
>
book reviews
> Julien Groslambert
Google >
Julien Groslambert
author : Julien Groslambert
Short works
Checking JML specifications with B Machines. 2005.
(In
ZB 2005
)