Actema : une interface graphique et gestuelle pour preuves formelles (démonstration)
Domains
Computer Science [cs]
Origin : Publisher files allowed on an open archive