User: Guest  Login
Document type:
Buchbeitrag 
Author(s):
Cârlan, Carmen; Gallina, Barbara; Kacianka, Severin; Breu, Ruth 
Title:
Arguing on Software-Level Verification Techniques Appropriateness 
Book title:
Lecture Notes in Computer Science 
Publisher:
Springer International Publishing 
Year:
2017 
Pages:
39-54 
Print-ISBN:
97833196626579783319662664