yr 〜
yr

Search results 2

Automated technology for verification and analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings

Automated technology for verification and analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings
Paper図書
Doron A. Peled, Yih-Kuen Tsay (eds.)Springerc2005
Other Libraries in Japan
  • Author HeadingATVA Tsay, Yih-Kuen Peled, Doron A.

Automated technology for verification and analysis : third international symposium, ATVA 2005 : Taipei, Taiwan, October 4-7, 2005 : proceedings. : Oct 2005, Taipei, Taiwan. (Lecture Notes in Computer Science ; 3707)

Automated technology for verification and analysis : third international symposium, ATVA 2005 : Taipei, Taiwan, October 4-7, 2005 : proceedings. : Oct 2005, Taipei, Taiwan. (Lecture Notes in Computer Science ; 3707)
Paper図書
Springerc2005.<M17-06-195>
National Diet Library
  • Author HeadingPeled, Doran, 1962- Tsay, Yih-Kuen, 1962- ATVA 2005 (2005 : Taip...

Reached to the end of result.