Dines Bjørner
Informatics and Mathematical Modelling, Technical University of Denmark, Denmark
D. Bjørner: On Teaching Software Engineering based on Formal Techniques - Thoughts about and Plans for - A Different Software Engineering Text Book /jucs_7_8/on_teaching_software_engineering