Model Checking and Model-Based Testing
Subtitle: Improving Their Feasibility by Lazy Techniques, Parallelization, and Other Optimizations
Publisher: CreateSpace Independent Publishing Platform
Published: 2016
Language: eng
Number of pages: 418
ISBN-13: 9781536921991