54,08€(IVA inc.)
Verified Software. Theories, Tools, and Experiments
- Paskevich, Andrei
- 978-3-319-72307-5
- 2017-12-15