The homepage of Dines Bjorner contains much additional material!#


The Bulletin of EATCS No. 96 contains a Dialogue about Formal Methods with Professor Cris Calude

Other important information #

See full PDF file here(info)

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". Data available yet!

Imprint Privacy policy « This page (revision-20) was last changed on Sunday, 30. May 2010, 16:13 by Maurer Hermann
  • operated by