Description
About this book
Software Engineering and Formal Methods — 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings. An English-language digital edition by Robert M. Hierons (Editor); Mercedes G. Merayo (Editor); Mario Bravetti (Editor), available in PDF.
Edition details
- Author / contributors: Robert M. Hierons (Editor); Mercedes G. Merayo (Editor); Mario Bravetti (Editor)
- Publisher: Springer Berlin Heidelberg
- Publication date: September 18, 2013
- Language: English
- ISBNs: 9783642405600; 9783642405617
- Digital formats: PDF





Reviews
There are no reviews yet.