Formal Verification

CppCast - Een podcast door Phil Nash & Timur Doumler

Probeer Podimo de eerste 60!!! dagen gratis

Luister 30 dagen gratis naar exclusieve podcasts en duizenden luisterboeken

Rob and Jason are joined by Matt Fernandez from Intel Labs to discuss Formal Verification.