Formal Verification

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

Om Podcasten

The first podcast for C++ developers, by C++ developers!