Events for tag "9332"

Program verification with SPARK

When your code must not fail

• 35 min
• 2018-09-22
• 125
• Johannes Kliemann
Datenspuren 2018