Integrated Formal Methods
Details
| Book Title |
Integrated Formal Methods |
| Editor |
Jim Davies and Jeremy Gibbons |
| Publisher |
Springer−Verlag |
| Series |
Lecture Notes in Computer Science |
| Volume |
4591 |
| Year |
2007 |
Links
Related pages
|
People |