Formal Methods: State of the Art and New Directions
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Format: | Electronic Kit Book |
| Language: | English |
| Published: |
London
Springer-Verlag London
2010
|
| Subjects: | |
| Online Access: | http://dx.doi.org/10.1007/978-1-84882-736-3 |
