Functional Safety Conference
We have a presentation about the formal verification feature of SPARK at the 7th functional safety conference....
We have a presentation about the formal verification feature of SPARK at the 7th functional safety conference....