Follow

Méthodes Formelles: Mais quoi donc est-ce ? par Florent et Lesly.
Démystifions les méthodes formelles et la vérification des programmes !

Sign in to participate in the conversation
La Quadrature du Net - Mastodon - Media Fédéré

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!