Actema : une interface graphique et gestuelle pour preuves formelles (démonstration) - Trente-Troisièmes Journées Francophones des Langages Applicatifs Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Actema : une interface graphique et gestuelle pour preuves formelles (démonstration)

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
jfla22_paper_26.pdf (270.15 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

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 : lundi 29 janvier 2024-14:51:33

Archivage à long terme le : vendredi 1 juillet 2022-19:50:09

Télécharger pour visualiser

Dates et versions

hal-03626854 , version 1 (31-03-2022)

Licence

Paternité

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X CNRS INRIA LIX X-LIX X-DEP-INFO INRIA2 IP_PARIS GS-COMPUTER-SCIENCE JFLA2022
117 Consultations
62 Téléchargements

Partager

Gmail Facebook X LinkedIn More