Functional Safety Conference

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

• Date: 5th/Nov/2019
• Venue: Sola-City Conference Center
• https://academy.impress.co.jp/event/afsc201912/timetable-day1.html