Applications of Formal Methods

Jonathan Peter Bowen, Michael Gerard Hinchey — 1995

This collection of case studies contains contributions illustrating the application of formal methods to real-life problems with industrial relevance.