Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings
by Robert Hierons, Mercedes G. Merayo, Mario Bravetti Paperback 2013
- Author: Robert Hierons, Mercedes G. Merayo, Mario Bravetti
- ISBN 13: 9783642405600
- ISBN 10: 3642405606
- Publication Year: 2013
- Language: English
Specifications
| Index-10 | 3642405606 |
|---|---|
| Index-13 | 9783642405600 |
| Language | English |