Toggle navigation
reposiTUm
ABOUT REPOSITUM
HELP
Login
News
Browse by
Publication Types
Organizations
Researchers
Projects
TU Wien Academic Press
Open Access Series
Theses
Digitised Works
Year of Publication
Title:
Software Engineering and Formal Methods
en
Other Titles:
14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
en
Editors:
de Nicola, Rocco
Kühn, Eva
-
Issue Date:
2016
-
Citation:
de Nicola, R., & Kühn, E. (Eds.). (2016).
Software Engineering and Formal Methods
. Springer International Publishing. https://doi.org/10.1007/978-3-319-41591-8
-
Series:
Lecture Notes in Computer Science
-
Publisher:
Springer International Publishing
-
URI:
http://hdl.handle.net/20.500.12708/24254
-
DOI:
10.1007/978-3-319-41591-8
-
ISBN:
9783319415901
9783319415918
-
Organisation:
E194-05 - Forschungsbereich Compilers and Languages
-
Publication Type:
Konferenzband
de
Proceedings
en
Appears in Collections:
Proceedings
Show full item record
Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.
Page view(s)
34
checked on Sep 11, 2022
Google Scholar
TM
Check