Systems and Software Verification Model-Checking Techniques and Tools
Bérard, Beatrice
Systems and Software Verification Model-Checking Techniques and Tools B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, Ph. Schnoebelen - Berlin ; New York : Springer, c2001.
3540415238 (alk. paper)
005.1/4
Systems and Software Verification Model-Checking Techniques and Tools B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, Ph. Schnoebelen - Berlin ; New York : Springer, c2001.
3540415238 (alk. paper)
005.1/4