Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings (Lecture Notes in Computer Science, Band 8702)
von:
Dimitra Giannakopoulou
·
Gwen Salaün
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-319-10430-0
ISBN-10: 3-319-10430-6
Springer
· 2014
