Model Checking
by EM Clarke
ISBN 13: 9780262032704
Format: Hardcover (314 pages) Publisher: MIT Press Published: 04 Feb 2000
Save for later