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