Tools and Algorithms for the Construction and Analysis of Systems: Proc./16th International Conference, TACAS 2010, Joint European Conferences, ETAPS 2010, Paphos, Cyprus, March 2010

Б2.2, Б3.5, А3.5.

Tools and Algorithms for the Construction and Analysis of Systems: Proc./16th International Conference, TACAS 2010, Joint European Conferences, ETAPS 2010, Paphos, Cyprus, March 2010Ed. by Esparza J., Majumdar R..-Berlin.: Springer, 2010.-Vol. 6015.-486 p.-(Lecture Notes in Computer Science).