Principles of Model Checking
Publisher: MIT Press
Published: 2008
Language: eng
ISBN-13: 9781435643277
Subjects: Systems software; Computer software, verification