Formal Verification

CppCast - Un pódcast de Phil Nash & Timur Doumler

Escucha 30 días GRATIS

miles de podcasts y audiolibros originales y exclusivos, haz clic aquí

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