Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Software Engineering and Formal Methods

13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
 
: Calinescu, R.; Rumpe, B.

Cham: Springer International Publishing, 2015, XI, 368 S. : Ill.
Lecture Notes in Computer Science, 9276
International Conference on Software Engineering and Formal Methods (SEFM) <13, 2015, York>
ISBN: 978-3-319-22968-3 (print)
ISBN: 978-3-319-22969-0 (eBook)
Englisch
Tagungsband
Fraunhofer FIT ()

: http://publica.fraunhofer.de/dokumente/N-410601.html