Teaching Formal Methods in Context
Jim Davies, Andrew Simpson and Andrew Martin infobook 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
BibTeX
related pages
|
