Formal bytes: The Axiomise Podcast Channel

Un pódcast de Axiomise

Categorías:

50 Episodo

    9 / 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.

    Visit the podcast's native language site