Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

Format:

e-book

Title:

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

Author:

Antonio Cerone; Autili, Marco; Bucaioni, Alessio; Gomes, Cláudio; Graziani, Pierluigi; Palmieri, Maurizio; Temperini, Marco; Venture, Gentiane

Language:

English

Publisher:

Springer International Publishing 2022

ISBN:

3-031-12428-6
3-031-12429-4

Permalink:

http://bibtest.howest.be/catalog/ebk03:5840000000091778?locale=en