Formal bytes: The Axiomise Podcast Channel

A podcast by Axiomise

Categories:

50 Episodes

    273 / 3

    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.