Automated Technology for Verification and Analysis: Proc./Second International Conference, ATVA 2004. Taipei, Taiwan, ROC, October/November 2004

А3.53, Б2.23.

Automated Technology for Verification and Analysis: Proc./Second International Conference, ATVA 2004. Taipei, Taiwan, ROC, October/November 2004Ed. by Wang F..-Berlin, Heidelberg.: Springer, 2004.-Vol. 3299.-506 p.-(Lecture Notes in Computer Science).