Systems and Software Verification Model-Checking Techniques and Tools

Publisher: Springer Science & Business Media

Type: Physical Book

Language: English

Pages: 188

Release Date: 2001-01-01

ISBN 10: 3662045583

ISBN 13: 9783662045589

Country: United States of America

Data Score: 1590