Tools and Algorithms for the Construction and Analysis of Systems: Proc./18th International Conference, TACAS 2012 Held as Part of the European Joint Conferences, ETAPS 2012, Tallinn, Estonia, March 2012

Б2.2, А3.5, Б3.5.

Tools and Algorithms for the Construction and Analysis of Systems: Proc./18th International Conference, TACAS 2012 Held as Part of the European Joint Conferences, ETAPS 2012, Tallinn, Estonia, March 2012Ed. by Flanagan C., Konig B..-Berlin.: Springer, 2012.-Vol. 7214.-560 p.-(Lecture Notes in Computer Science).