From Software Engineering to Formal Methods and Tools, and Back
de Maurice H. ter Beek, Alessandro Fantechi, Laura Semini
Ediciones (1)
- From Software Engineering to Formal Methods and Tools, and Back (2019)
Springer · ISBN 9783030309848
de Maurice H. ter Beek, Alessandro Fantechi, Laura Semini
Springer · ISBN 9783030309848
