Embedded Files
The agda code to accompany the draft paper "Framework of Formal assurance case for Open systems
dependability (FFO)"
Page updated
Report abuse
The agda code to accompany the draft paper "Framework of Formal assurance case for Open systems
dependability (FFO)"