Generation of Safety Case Argument-Fragments from Safety Contracts.

Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson

Browse the full SAFECOMP paper archive.