Applications Of Formal Methods
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | 1995 |
| Editors | Michael Hinchey |
| Jonathan Bowen | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 1976576 |
About Applications Of Formal Methods
This collection of case studies contains contributions illustrating the application of formal methods to real-life problems with industrial relevance.