25 Years Of Model Checking History Achievements Perspectives
Publisher: Springer
Published: 2008
Number of pages: 230
ISBN-13: 9783540698494