The Correctness-by-Construction Approach to Programming
de Derrick G. Kourie, Bruce W. Watson
Materias
Ediciones (2)
- The Correctness-by-Construction Approach to Programming (2014)
Springer · ISBN 9783642448546
- The Correctness-By-Construction Approach to Programming (2012)
Springer · ISBN 9783642279201