Tools and Algorithms for the Construction and Analysis of Systems: Proc./15th International Conference, TACAS 2009, ETAPS 2009, York, UK, March 2009

Б2.1, Б2.2, Б3.5.

Tools and Algorithms for the Construction and Analysis of Systems: Proc./15th International Conference, TACAS 2009, ETAPS 2009, York, UK, March 2009Ed. by Kowalewski S., Philippou A..-Berlin, Heidelberg.: Springer, 2009.-Vol. 5505.-456 p.-(Lecture Notes in Computer Science).