Arguing on Software-Level Verification Techniques Appropriateness.

Carmen Crlan, Barbara Gallina, Severin Kacianka, Ruth Breu

Browse the full SAFECOMP paper archive.