Filter
Sökt på: Sökresultat
Filter
totalt 2 träffar
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops
häftad,
2023,
Engelska,
ISBN 9783031262357
This volume constitutes the revised selected papers from the four workshops collocated with the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, …
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
häftad,
2022,
Engelska,
ISBN 9783031124280
This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, …