Formal Verification

CppCast - Ein Podcast von Phil Nash & Timur Doumler

Podimo 60!!! Tage kostenlos testen

Ein Universum voller exklusiver Podcasts und Hörbücher. Klicken Sie hier um loszulegen!

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