Automated technology for verification and analysis : 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010 : proceedings

Author(s)

    • Bouajjani, Ahmed
    • Chin, Wei-Ngan

Bibliographic Information

Automated technology for verification and analysis : 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010 : proceedings

Ahmed Bouajjani, Wei-Ngan Chin (eds.)

（Lecture notes in computer science, 6252）

Springer, c2010

Search this Book/Journal

Note

Includes bibliographical references and index

Related Books： 1-1 of 1

Details

  • NCID
    BB04187935
  • ISBN
    • 9783642156427
  • LCCN
    2010933601
  • Country Code
    gw
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Berlin
  • Pages/Volumes
    xi, 404 p.
  • Size
    24 cm
  • Parent Bibliography ID
Page Top