Climbing the Software Assurance Ladder - Practical Formal Verification for Reliable Software

Yannick Moy. Climbing the Software Assurance Ladder - Practical Formal Verification for Reliable Software. ECEASST, 76, 2018. [doi]

Abstract

Abstract is missing.