Formal Verification

CppCast - A podcast by Phil Nash & Timur Doumler

Categories:

Technology

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