DaftarIsitemplate

Call Number

004.21 Cla m

Title

Model checking

Author

Clarke, Edmund M.;

Publisher

London : The MIT Press, 1999

Subject

Computer systems verification

Location