Books

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