Visible to the public Lifting Formal Proof to Practice via an Assurance Case

Submitted by akarns on Wed, 04/27/2022 - 2:28pm. Contributor:
License: 
Creative Commons 2.5

Other available formats:

Lifting Formal Proof to Practice via an Assurance Case
Switch to experimental viewer