On the Verification of the Correctness of a Subgraph Construction Algorithm
Rayna Dimitrova; Ori Lahav; Sebastian Wolff (Hrsg). Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I. Bd. 14499. Cham: Springer Nature Switzerland AG 2024 S. 303 - 325
Erscheinungsjahr: 2024
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/978-3-031-50524-9_14
| Geprüft | Bibliothek |
Autoren
Böltz, Lucas (Autor)
Sofronie-Stokkermans, Viorica (Autor)
Frey, Hannes (Autor)
