Formal Verification
CppCast - A podcast by Phil Nash & Timur Doumler
Categorie:
Rob and Jason are joined by Matt Fernandez from Intel Labs to discuss Formal Verification.
CppCast - A podcast by Phil Nash & Timur Doumler
Rob and Jason are joined by Matt Fernandez from Intel Labs to discuss Formal Verification.