Tools and Algorithms for the Construction and Analysis of Systems: Proc./20th International Conference, TACAS 2014 Held as Part of the ETAPS 2014, Grenoble, France, April 2014

Б2.1, Б2.2, Б3.54.

Tools and Algorithms for the Construction and Analysis of Systems: Proc./20th International Conference, TACAS 2014 Held as Part of the ETAPS 2014, Grenoble, France, April 2014Ed. by Abraham E., Havelund K..-Berlin.: Springer, 2014.-Vol. 8413.-652 p.-(Lecture Notes in Computer Science).