Verified Software. Theories, Tools, and Experiments
de Sandrine Blazy, Marsha Chechik
Materias
Ediciones (1)
- Verified Software. Theories, Tools, and Experiments (2016)
Springer International Publishing AG · inglés · ISBN 9783319488684
de Sandrine Blazy, Marsha Chechik
Springer International Publishing AG · inglés · ISBN 9783319488684