Formal Methods for Software Engineering
de Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
Ediciones (2)
- Formal Methods for Software Engineering (2023)
Springer International Publishing AG · inglés · ISBN 9783030388027
- Formal Methods for Software Engineering (2020)
Springer · ISBN 9783030387990
