A MISRA-C Developer’s Introduction to Program Proving in SPARK — Embedded World 2019

Presented by Yannick Moy at Embedded World 2019