Tallenna
Software Engineering and Formal Methods
This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013.
- Alaotsikko
- 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings
- Toimittaja
- Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti
- Painos
- 2013 ed.
- ISBN
- 9783642405600
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 12.9.2013
- Sivumäärä
- 321
