Formal bytes: The Axiomise Podcast Channel
Axiomise
Subscribe
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.
Formal bytes: The Axiomise Podcast Channel
Search
Clear search
Close search
Google apps
Main menu