More About the Author
Joseph Sifakis (Greek: Ιωσήφ Σηφάκης) is a Greek-born French computer scientist, laureate of the 2007 Turing Award, along with Edmund M.
Review and Comments
Rate the Book
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings 0 out of 5 stars based on 0 ratings.