Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review
Forlagets udgivne version
Originalsprog | Engelsk |
---|---|
Titel | Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops |
Redaktører | Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, Gentiane Venture |
Antal sider | 13 |
Udgivelsessted | Cham |
Forlag | Springer |
Udgivelsesår | 2022 |
Sider | 143-155 |
ISBN (trykt) | 978-3-031-12428-0 |
DOI | |
Status | Udgivet - 2022 |
Begivenhed | Software Engineering and Formal Metods: SEFM 2021 Collocated Workshops - Virtual event Varighed: 6 dec. 2021 → 10 dec. 2021 |
Konference | Software Engineering and Formal Metods |
---|---|
Lokation | Virtual event |
Periode | 06/12/2021 → 10/12/2021 |
Serietitel | Lecture Notes in Computer Science |
---|---|
Vol/bind | 13230 |
ISSN | 0302-9743 |
Se relationer på Aarhus Universitet Citationsformater
ID: 295628184