Coq, assistant de preuve
Gardado en:
| Formato: | Article de revue numérique |
|---|---|
| Idioma: | Indéterminée |
| Publicado: |
Techniques de l'ingénieur
2017.
|
| Acceso en liña: | Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Techniques de l'ingénieur |
| Variante du titre: | Coq, assistant de preuve |