Tools and Algorithms for the Construction and Analysis of Systems: Proc./10th Intern. Conf., TACAS 2004, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March-April 2004

Б2.2, Б3.54, Б4.55.

Tools and Algorithms for the Construction and Analysis of Systems: Proc./10th Intern. Conf., TACAS 2004, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March-April 2004Ed. by Jensen K., Podelski A..-Berlin, Heidelberg.: Springer, 2004.-Vol. 2988.-608 p.-(Lecture Notes in Computer Science).