Tallenna
Software Engineering and Formal Methods
This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012.
- Alaotsikko
- 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
- Toimittaja
- George Eleftherakis, Mike Hinchey, Mike Holcombe
- Painos
- 2012 ed.
- ISBN
- 9783642338250
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 28.8.2012
- Sivumäärä
- 384
