Communication Dans Un Congrès
Année : 2014
Burkhart Wolff : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01766906
Soumis le : samedi 14 avril 2018-17:06:36
Dernière modification le : samedi 10 février 2024-03:07:49
Dates et versions
Identifiants
- HAL Id : hal-01766906 , version 1
Citer
Wenzel Makarius. Asynchronous User Interaction and Tool Integration in Isabelle/PIDE. Interactive Theorem Proving - 5th International Conference, ITP 2014, 2014, Vienna, Austria. ⟨hal-01766906⟩
Collections
41
Consultations
0
Téléchargements