The Case for Formal Methods: Hillel Wayne
Feeling of Computing
00:00
From Tutorial to Book and Consulting
Hillel recounts creating tutorials, a workshop, a book, and offering consulting and trainings on formal methods.
Play episode from 04:11
Transcript
