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.
Show More
Creators & Guests
We don't know anything about the creators of this podcast yet. You can so they can be credited for this and other podcasts.