Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings

Author(s)

• SPIN
• Gallardo, María del Mar
• Merino, Pedro

Bibliographic Information

Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings

María del Mar Gallardo, Pedro Merino (eds.)

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

Springer, c2018

Note

Includes bibliographical references and index

Details

• NCID: BB27442736
• ISBN:
  • 9783319941103
• Country Code: sz
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cham
• Pages/Volumes: xvi, 346 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:
  • BA00009279