Beyer, Dirk
ORCID: https://orcid.org/0000-0003-4832-7662; Haltermann, Jan; Lemberger, Thomas und Wehrheim, Heike
(2022):
Decomposing software verification into off-the-shelf components.
44th International Conference on Software Engineering: ICSE '22, Pittsburgh Pennsylvania, May 21 - 29, 2022.
In: Proceedings of the 44th International Conference on Software Engineering,
New York: Association for Computing Machinery. S. 536-548
| Dokumententyp: | Konferenzbeitrag (Paper) |
|---|---|
| Fakultät: | Mathematik, Informatik und Statistik > Informatik |
| Themengebiete: | 000 Informatik, Informationswissenschaft, allgemeine Werke > 004 Informatik |
| Ort: | New York |
| Bemerkung: | ISBN 978-1-4503-9221-1 |
| Sprache: | Englisch |
| Dokumenten ID: | 109951 |
| Datum der Veröffentlichung auf Open Access LMU: | 21. Mrz. 2024, 13:58 |
| Letzte Änderungen: | 21. Mrz. 2024, 13:58 |
- Dokument bearbeiten
