Yih-Kuen Tsay (eds.)

Showing the single result

{PDF} Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings Amir Pnueli (auth.), Doron A. Peled, Yih-Kuen Tsay (eds.)