Actema : une interface graphique et gestuelle pour preuves formelles (démonstration)
Domaines
Informatique [cs]| Origine | Fichiers éditeurs autorisés sur une archive ouverte |
|---|
Communication Dans Un Congrès
Année : 2022
Timothy Bourke : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03626854
Soumis le : jeudi 31 mars 2022-20:04:59
Dernière modification le : mardi 10 septembre 2024-13:22:40
Archivage à long terme le : vendredi 1 juillet 2022-19:50:09
Dates et versions
Licence
Identifiants
- HAL Id : hal-03626854 , version 1
Citer
Pablo Donato, Pierre-Yves Strub, Benjamin Werner. Actema : une interface graphique et gestuelle pour preuves formelles (démonstration). 33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. pp.267-268. ⟨hal-03626854⟩
159
Consultations
89
Téléchargements