![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Konferenzbeitrag
Anzahl der Publikationen: 1
Konferenzbeitrag
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
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