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
- DOI:
- doi:10.1007/978-3-319-66266-4_3
BibTeX