Systems and Software Verification
Subtitle: Model-Checking Techniques and Tools
Publisher: Springer
Published: Mar 12, 2014
Format: paperback
Number of pages: 208
ISBN-13: 9783662045596
Notes: Source title: Systems and Software Verification: Model-Checking Techniques and Tools