Sign in
Join Literal
Applications of Formal Methods
Jonathan Peter Bowen
Want to read
Sign up to use
Jonathan Peter Bowen
Applications of Formal Methods
Jonathan Peter Bowen,
Michael Gerard Hinchey
Want to read
Sign up to use
Want to read
Sign up to use
Overview
Reviews
Highlights
Editions
This collection of case studies contains contributions illustrating the application of formal methods to real-life problems with industrial relevance.
Discover more books like Applications of Formal Methods