Formal bytes: The Axiomise Podcast Channel

Formal bytes: The Axiomise Podcast Channel

Dela

Axiomise is a unique formal verification training, consulting and services company that loves enabling people in formal verification. This podcast is our way of sharing the joy of formal verification.

Axiomise is a unique formal verification training, consulting and services company that loves enabling people in formal verification. This podcast is our way of sharing the joy of formal verification.
Utbildning Teknologi
Avsnitt
50
Senaste
07 september, 2021
Längd
35 min
Podden Formal bytes: The Axiomise Podcast Channel görs av Axiomise.
Rss Apple Podcaster
Podden och tillhörande omslagsbild på den här sidan tillhör Axiomise. Innehållet i podden är skapat av Axiomise och inte av, eller tillsammans med, Poddtoppen.