Écrire des programmes prouvés corrects avec Coq • Articles • Zeste de Savoir - Les liens de Raphaël

24646 shaares
46 liens privés

24646 shaares · 46 liens privés

Filtres

Liens par page

20 50 100

Écrire des programmes prouvés corrects avec Coq • Articles • Zeste de Savoir

Tout est dans le titre

Coq · preuve · démonstration · spécification

September 2, 2022 at 6:45:21 AM GMT+2 * · permalien

·

·

https://zestedesavoir.com/articles/3758/ecrire-des-programmes-prouves-corrects-avec-coq/

·

Filtres

Liens par page

20 50 100