Benutzer: Gast  Login
Dokumenttyp:
Buchbeitrag 
Autor(en):
Cârlan, Carmen; Gallina, Barbara; Kacianka, Severin; Breu, Ruth 
Titel:
Arguing on Software-Level Verification Techniques Appropriateness 
Buchtitel:
Lecture Notes in Computer Science 
Verlag / Institution:
Springer International Publishing 
Jahr:
2017 
Seiten/Umfang:
39-54 
Print-ISBN:
97833196626579783319662664