Model checking software : 27th International Symposium, SPIN 2021, virtual event, July 12, 2021 : proceedings

Author(s)

• SPIN
• Laarman, Alfons
• Sokolova, Ana

Bibliographic Information

Model checking software : 27th International Symposium, SPIN 2021, virtual event, July 12, 2021 : proceedings

Alfons Laarman, Ana Sokolova (eds.)

（Lecture notes in computer science, 12864 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues）

Springer, c2021

Note

Includes bibliographical references and index

"This volume contains the proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held online from Leiden, the Netherlands, on July 12, 2021, ..."--Pref

Details

• NCID: BC15766680
• ISBN:
  • 9783030846282
• Country Code: sz
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cham
• Pages/Volumes: x, 193 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.76.V47
  • DC23 : 005.1/4
• Subject Headings:
  • LCSH : SPIN (Computer file) -- Congresses
  • LCSH : Computer science
  • LCSH : Computer software -- Verification -- Congresses
  • LCSH : Software engineering -- Congresses
  • LCSH : Computer software -- Testing -- Congresses
• Parent Bibliography ID:
  • BC04575556