home
>
book reviews
> Beatrice Berard
Google >
Beatrice Berard
author : Beatrice Berard
Books
Systems and Software Verification
. 2001,
with
Michel Bidot
,
Alain Finkel
,
Francois Laroussinie
,
Antoine Petit
,
Laure Petrucci
,
Phillipe Schnoebelen
,
Pierre McKenzie
Books : reviews
Beatrice Berard, Michel Bidot, Alain Finkel, Francois Laroussinie, Antoine Petit, Laure Petrucci, Phillipe Schnoebelen, Pierre McKenzie.
Systems and Software Verification
: model-checking techniques and tools
.
Springer. 2001