The Accidental Engineer
Does your software do what it is supposed to? Hillel Wayne teaches TLA+
- Autor: Vários
- Narrador: Vários
- Editor: Podcast
- Duración: 0:51:00
- Mas informaciones
Informações:
Sinopsis
Today Hillel Wayne joined us to discuss TLA+ and software verification methodology:
