mediaTUM - Media and Publication Server

User: Guest

10.1007/978-3-319-66266-4_3

Title:: Arguing on Software-Level Verification Techniques Appropriateness
Document type:: Buchbeitrag
Author(s):: Cârlan, Carmen; Gallina, Barbara; Kacianka, Severin; Breu, Ruth
Book title:: Lecture Notes in Computer Science
Publisher:: Springer International Publishing
Year:: 2017
Pages:: 39-54
Print-ISBN:: 97833196626579783319662664
DOI:: doi:10.1007/978-3-319-66266-4_3
BibTeX

Occurrences:

mediaTUM Gesamtbestand Hochschulbibliographie 2017 Fakultäten Informatik Informatik 22 - Lehrstuhl für Software Engineering (Prof. Pretschner)

mediaTUM Gesamtbestand Einrichtungen Schools TUM School of Computation, Information and Technology Departments Computer Science Informatik 4 - Lehrstuhl für Software & Systems Engineering (Prof. Pretschner)