Formal Verification

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

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