• 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

    Joseph Sifakis (auth.) Javier Esparza Rupak Majumdar (eds.)

Click on cover to enlarge.
10 - 12Hours to read