The Accidental Engineer

Does your software do what it is supposed to? Hillel Wayne teaches TLA+

Listen Later
Today Hillel Wayne joined us to discuss TLA+ and software verification methodology:
...more
View all episodesView all episodes
Download on the App Store
The Accidental EngineerBy Max Mautner
  • 5
  • 5
  • 5
  • 5
  • 5

5

6 ratings