Formal Methods and Software Engineering
- Alaotsikko
- 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings
- Toimittaja
- Groves Lindsay, Sun Jing
- ISBN
- 9783642412011
- Kieli
- englanti
- Paino
- 281 grammaa
- Julkaisupäivä
- 11.9.2013
- Sivumäärä
- 466








































