Actema : une interface graphique et gestuelle pour preuves formelles (démonstration)
Domaines
Informatique [cs]
Origine : Fichiers éditeurs autorisés sur une archive ouverte