Johannes Frederik Jesper Traub

• Formal Verification of Concurrent Embedded Software