Johannes Frederik Jesper Traub

Formal Verification of Concurrent Embedded Software