!!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|[InterviewEATCSpublished1.pdf] by Cristian Calude (Source: BEATCS, no 104)
\\ \\
----
!!ACM Turing Award 2007 

[ACM Turing Award Honors Founders of Automatic Verification Technology|http:///www.acm.org/press-room/awards/turing-award-07] (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".\\
[{CategoryIndexPlugin category='User/Sifakis_Joseph/OtherInformation'}]