Dines Bjørner: Bibliographical Notes and Publication List Research
#

Professor of Computing Science (Emeritus). Fredsvej 11, DK-2840 Holte, Denmark
Dr.h.c., MAE, MRANS (AB), ACM Fellow, IEEE Fellow
June 1, 2010

See Dines Bjoerner's full Bibliography on his own page#

The Bibliography contains also pictures of the covers of his many books. A few of the chiense ones are shown below:

See also Summary of Dines Bjorner as PDF File here#