![[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; Kanav, Sudeep ORCID: https://orcid.org/0000-0001-6078-4175 und Wachowitz, Henrik
(2023):
CoVeriTeam Service: Verification as a Service.
45th IEEE/ACM International Conference on Software Engineering (ICSE), Melbourne, Australia, 14. - 20. Mai 2023.
Institute of Electrical and Electronics Engineers (Hrsg.),
In: 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),
Piscataway: IEEE. S. 21-25
[PDF, 286kB]
ORCID: https://orcid.org/0000-0003-4832-7662; Kanav, Sudeep ORCID: https://orcid.org/0000-0001-6078-4175 und Wachowitz, Henrik
(2023):
CoVeriTeam Service: Verification as a Service.
45th IEEE/ACM International Conference on Software Engineering (ICSE), Melbourne, Australia, 14. - 20. Mai 2023.
Institute of Electrical and Electronics Engineers (Hrsg.),
In: 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),
Piscataway: IEEE. S. 21-25
[PDF, 286kB]