Automated technology for verification and analysis : 15th international symposium, ATVA 2017, Pune, India, October 3-6, 2017 : proceedings

Author(s)

    • D'Souza, Deepak
    • Kumar, K. Narayan

Bibliographic Information

Automated technology for verification and analysis : 15th international symposium, ATVA 2017, Pune, India, October 3-6, 2017 : proceedings

Deepak D'Souza, K. Narayan Kumar (eds.)

（Lecture notes in computer science, 10482 . LNCS sublibrary ; SL 2 . Programming and software engineering）

Springer, c2017

Other Title

ATVA 2017

Available at  / 1 libraries

Search this Book/Journal

Note

Includes bibliographical references and index

Related Books： 1-1 of 1

Details

  • NCID
    BB25420415
  • ISBN
    • 9783319681665
  • Country Code
    sz
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Cham
  • Pages/Volumes
    xix, 482 p.
  • Size
    24 cm
  • Parent Bibliography ID
Page Top