Model checking
Clarke, E.M., et al
Model checking E.M. Clarke, et al - Cambridge MIT Press 1999 - xiv 314
9780262032704
18 / CLAR
Model checking E.M. Clarke, et al - Cambridge MIT Press 1999 - xiv 314
9780262032704
18 / CLAR