Model checking

Clarke, E.M., et al

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

9780262032704

18 / CLAR

Powered by Koha