|
1 |
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
Cham : Springer Nature Switzerland, Imprint: Springer, 2025, 1st ed. 2025
|
|
|
|
2 |
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops
Cham : Springer Nature Switzerland, Imprint: Springer, 2024, 1st ed. 2024
|
|
|
|
3 |
Formal Methods and Software Engineering
Singapore : Springer Nature Singapore, 2023, 1st edition 2023
|
|
|
|
4 |
Software Engineering and Formal Methods
Cham : Springer Nature Switzerland, 2023, 1st edition 2023
|
|
|
|
5 |
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops
Cham : Springer International Publishing, 2023, 1st edition 2023
|
|
|
|
6 |
Formal Methods and Software Engineering
Cham : Springer Nature Switzerland, 2022, 1st edition 2022
|
|
|
|
7 |
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
Berlin, Heidelberg : Springer Berlin Heidelberg, 2022, 1st edition 2022
|
|
|
|
8 |
Software Engineering and Formal Methods
Cham : Springer Nature Switzerland, 2022
|
|
|
|
9 |
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
Cham : Springer International Publishing, 2022, 1st edition 2022
|
|
|
|
10 |
Software Engineering and Formal Methods
Cham : Springer International Publishing, 2021, 1st edition 2021
|
|
Administration
