55,07€(IVA inc.)
Verification, model checking, and abstract interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
- Logozzo, F.
- 978-3-540-78162-2
- 2008-04-01