The Case for Formal Methods: Hillel Wayne
Feeling of Computing
00:00
Teaching and Explaining Formal Methods
Hillel discusses the challenge of making formal methods accessible and why he writes tutorials and documentation to demystify them.
Play episode from 01:09:28
Transcript
