52,00€(IVA inc.)
Verified Software: Theories, Tools, and Experiments
- Gurfinkel, Arie
- 978-3-319-29612-8
- 2016-01-29