Teaching Formal Methods in Context
J. W. Davies‚ A. C. Simpson and A. P. Martin
Details
| Book Title |
Proceedings of CoLogNet / Formal Methods Europe Symposium on Teaching Formal Methods 2004 |
| Editor |
Dean‚ C. N. and Boute‚ R. F. |
| Pages |
186–202 |
| Publisher |
Springer−Verlag Lecture Notes in Computer Science‚ volume 3294 |
| Year |
2004 |
Links
Related pages
|
People |
|
|
Themes |