56,16€(IVA inc.)
Abstract state machines, alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
- Derrick, John
- 978-3-642-30884-0
- 2012-06-12
52,00€(IVA inc.)
Critical Systems: Formal Methods and Automated Verification
- ter Beek, Maurice H.
- 978-3-319-45942-4
- 2016-09-14
74,38€(IVA inc.)
Formal methods for industrial critical systems: a survey of applications
- Gnesi, Stefania
- 978-0-470-87618-3
- 2011-03-07
56,16€(IVA inc.)
Integrated formal methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
- Derrick, John
- 978-3-642-30728-7
- 2012-06-06