[ Back ]

Title

Bridging the gap between software development and formal verification

Author Dimitri Racordon
Director of thesis Didier Buchs
Co-director of thesis
Summary of thesis
Status
Administrative delay for the defence
URL
LinkedIn
Facebook
Twitter
Google+
Xing