ATVA (Symposium) Taipei, Taiwan), & Wang, F. (2004). Automated technology for verification and analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings. Springer.
Chicago Style (17th ed.) CitationATVA (Symposium) Taipei, Taiwan), and Farn Wang. Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : Proceedings. Berlin ; New York: Springer, 2004.
MLA (9th ed.) CitationATVA (Symposium) Taipei, Taiwan), and Farn Wang. Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : Proceedings. Springer, 2004.
Warning: These citations may not always be 100% accurate.