|
11 |
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops
Cham : Springer International Publishing, 2021, 1st edition 2021
|
|
|
|
12 |
Formal Methods and Software Engineering
Cham : Springer International Publishing, 2020, 1st edition 2020
|
|
|
|
13 |
Software Engineering and Formal Methods
Cham : Springer International Publishing, 2020, 1st edition 2020
|
|
|
|
14 |
Software Engineering and Formal Methods
Cham : Springer International Publishing, 2020, 1st edition 2020
|
|
|
|
15 |
Formal Methods and Software Engineering
Cham : Springer International Publishing, 2019, 1st edition 2019
|
|
|
|
16 |
From Software Engineering to Formal Methods and Tools, and Back
Cham : Springer International Publishing, 2019, 1st edition 2019
|
|
|
|
17 |
Software Engineering and Formal Methods
Cham : Springer International Publishing, 2018, 1st edition 2018
|
|
|
|
18 |
Formal Methods and Software Engineering
Cham : Springer International Publishing, 2017, 1st edition 2017
|
|
|
|
19 |
Software Engineering and Formal Methods
Cham : Springer International Publishing, 2017, 1st edition 2017
|
|
|
|
20 |
Formal Methods and Software Engineering
Cham : Springer International Publishing, 2016, 1st edition 2016
|
|
Administration
