Wang, Farn Ed.,
Automated technology for verification and analysis: second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004, proceedings - 1st ed. - New York, NY Springer 2004. - 504 - Lecture notes in computer science ; 03299 .
3540236104
681 LNCS
Automated technology for verification and analysis: second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004, proceedings - 1st ed. - New York, NY Springer 2004. - 504 - Lecture notes in computer science ; 03299 .
3540236104
681 LNCS