Go home now Header Background Image
Submission Procedure
share: |
Follow us

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
page 641 - 667
Vol.7 / Issue 8