On teaching software engineering based on formal techniques |
|
| Abstract | thoughts about and plans for a different software engineering text book
peter Lucas Farewell Symposium |
| Type | Journal paper [With referee] |
| Journal | Journal of Universal Computer Science |
| Year | 2001 Month June Vol. 7 |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |