Model Checking Abstract State Machines
Publisher: Simon & Schuster
Published: 2008
Language: eng
ISBN-13: 9783639018912
Subjects: Computer simulation; Machine theory