Software Engineering Education: Roles of Formal Specification and Design Calculi



TypeJournal paper [With referee]
JournalAnnals of Software Engineering
Year1998    Vol. 6    pp. 365-410
NotePublished April 1999. \htmladdnormallinkfoot{Postscript document}{http://www.imm.dtu.dk/~db/ase2/newannals.ps}
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering