related documents A (Proto) Logical Basis for the Notion of a Structured Argument in a Safety Case Conferences Formal Availability Analysis Using Theorem Proving Conferences
