Formal bytes: The Axiomise Podcast Channel

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.

Episodes: 43

Display
Learn about the benefits of claiming your podcast and the process here.