Raoul Schaffranek

Raoul Schaffranek

Formal Verification Engineer at Runtime Verification