Formal Methods for Industrial Critical Systems
Kim Guldstrand Larsen
Paperback
Not Available
Dependable Software Engineering. Theories, Tools, and Applications
Reachability Problems