A Dialogue with Professor Joseph Sifakis about Concurrent Systems Specification and Verification#

Read by A Dialogue with Professor Joseph Sifakis about Concurrent Systems Specification and Verification by Cristian Calude (Source: BEATCS, no 104)

ACM Turing Award 2007 #

ACM Turing Award Honors Founders of Automatic Verification Technology (Source: http://www.acm.org)

Any further pages in alphabetic order of their title as created 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!