Presentation: Formal Verification at ESA

When: Oct. 9, 2015, 13:45-15:30

Where: CI T300

Who: Marcel Verhoef