Formal Methods: State of the Art and New Directions
The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence that formal methods can be effective and deployed in industrial-scale applications. Through fundamental contr...
| Corporate Author: | |
|---|---|
| Other Authors: | , , |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
London :
Springer London : Imprint: Springer,
2010.
|
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
