Verified Software. Theories, Tools, and Experiments
de Andrei Paskevich, Thomas Wies
Materias
Ediciones (1)
- Verified Software. Theories, Tools, and Experiments (2017)
Springer · ISBN 9783319723075
de Andrei Paskevich, Thomas Wies
Springer · ISBN 9783319723075