25 Years of Model Checking

Type: Physical Book

Language: English

Pages: 238

Release Date: 2008-06-17

ISBN 10: 3540698493

ISBN 13: 9783540698494

Country: United States of America