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 |
| Language: | English |
| Published: |
London :
Springer London : Imprint: Springer,
2010.
|
| Subjects: | |
| Online Access: | https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-1-84882-736-3 |