Teaching Formal Methods in Context
Jim Davies‚ Andrew Simpson and Andrew Martin
Details
| Book Title |
Symposium on Teaching Formal Methods |
| Editor |
C. Neville Dean and Raymond T. Boute |
| Publisher |
Springer−Verlag |
| Series |
Lecture Notes in Computer Science |
| Volume |
3294 |
| Year |
2004 |
Links
Related pages
|
People |