Next:
Dines' Scientific & Engineering
Up:
Dines Bjørner's Home Page
Previous:
Introduction
Contents
Introduction
Dines' Scientific & Engineering Work
Further Contents Explained
Some Guiding Principles
Computer & Computing Science
Formal Methods
A Triptych of Software Engineering
Are We Teaching & Researching the Right Things ?
Bibliography
Reverse Chronological References
Year-by-Year Listing
Statistics: 1968 – 2022
Some Book Covers: 1978 – 2021
Publication List
Biography
Photos