Verified Software : Theories, Tools, Experiments
de Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani
Ediciones (1)
- Verified Software : Theories, Tools, Experiments (2010)
Springer London, Limited · inglés · ISBN 9783642150579
de Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani
Springer London, Limited · inglés · ISBN 9783642150579
