Ouvrage (Y Compris Édition Critique Et Traduction)
Année : 2015
Kaustuv Chaudhuri : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01222747
Soumis le : vendredi 30 octobre 2015-14:41:47
Dernière modification le : vendredi 24 mars 2023-14:53:01
Citer
Iliano Cervesato, Kaustuv Chaudhuri (Dir.). Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice. Iliano Cervesato; Kaustuv Chaudhuri. , 2015, ⟨10.4204/EPTCS.185⟩. ⟨hal-01222747⟩
Collections
204
Consultations
0
Téléchargements