Verification, model checking, and abstract interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, proceedings

Author(s)

• VMCAI
• Enea, Constantin
• Piskac, Ruzica

Bibliographic Information

Verification, model checking, and abstract interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, proceedings

Constantin Enea, Ruzica Piskac (eds.)

（Lecture notes in computer science, 11388 . Advanced research in computing and software science . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues）

Springer, c2019

Other Title

ARCoSS

Note

Includes bibliographical references and index

Details

• NCID: BB27722517
• ISBN:
  • 9783030112448
• LCCN: 2018966547
• Country Code: sz
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cham
• Pages/Volumes: xvii, 602 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.76.V47
  • DC23 : 005.1/4
• Subject Headings:
  • LCSH : Computer software -- Verification -- Congresses
  • LCSH : Software engineering -- Congresses
• Parent Bibliography ID:
  • BA00009279