Dines Bjørner's Home Page
Professor Emeritus of Computing Science, M.Sc.E.E.,
Ph.D., Dr.h.c., Dr.Techn.
Dept. of Mathematics and Computer Science
Technical University of
Denmark
,
DK-2800 Kgs.Lyngby, Denmark
Fredsvej 11, DK-2840 Holte, Denmark
E-Mail address:
bjorner@gmail.com
The DTU Kgs.Lyngby Campus