Articles by Author

Author

Dines Bjørner

Informatics and Mathematical Modelling, Technical University of Denmark
Lyngby, Denmark

1 article by this author

Sort by:

Research Article

On Teaching Software Engineering based on Formal Techniques - Thoughts about and Plans for - A Different Software Engineering Text Book

Dines Bjørner

10.3217/jucs-007-08-0641

28-08-2001

Unique: 320 | Total: 367

641-667

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK

Web Analytics