• Verification, Model Checking,...
  • *Holdings*

*Result*: Verification, Model Checking, and Abstract Interpretation

*Title*:
Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II / edited by Rayna Dimitrova, Ori Lahav, Sebastian Wolff
*Author/editor-in-chief*:
Dimitrova, Rayna (Herausgeber); Lahav, Ori (Herausgeber); Wolff, Sebastian (Herausgeber)
*Edition*:
1st ed. 2024
*Publication*:
Cham : Springer Nature Switzerland, 2024
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (XVIII, 340 Seiten) : 108 illus., 71 illus. in color.
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Lecture Notes in Computer Science, ISSN 1611-3349 ; 14500
*Other edition entry*:
Erscheint auch als Druck-Ausgabe: Verification, Model Checking, and Abstract Interpretation. - Cham : Springer Nature Switzerland, 2024. - ISBN 9783031505201
*ISBN*:
9783031505218 ; 3031505212 ; 978--303150520-1 (Sekundärausgabe) ; 978--303150522-5 (Sekundärausgabe)
*DOI*:
10.1007/978-3-031-50521-8

*Additional information*

*Additional functions*