Automated technology for verification and analysis : 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedings

Author(s)

    • Bultan, Tevfik
    • Hsiung, Pao-Ann

Bibliographic Information

Automated technology for verification and analysis : 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedings

Tevfik Bultan, Pao-Ann Hsiung (eds.)

（Lecture notes in computer science, 6996）

Springer, c2011

Search this Book/Journal

Note

Include Author index

Related Books： 1-1 of 1

Details

  • NCID
    BB07334071
  • ISBN
    • 9783642243714
  • Country Code
    gw
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Berlin
  • Pages/Volumes
    xiv, 532 p.
  • Size
    24 cm
  • Parent Bibliography ID
Page Top