The homepage of Dines Bjorner contains much additional material!#
Homepage
The Bulletin of EATCS No. 96 contains a Dialogue about Formal Methods with Professor Cris Calude
#
Other important information #
See full PDF file here
Any further pages in alphabetic order of their title as created for or by you.
#
Just click at "Create new page", then type a short title and click OK, then add information on the empty page presented to you (including maybe a picture from your harddisk or a pdf-file by using the "Upload" Button) and finally click at "Save".
...no Data available yet!
