LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR7161
https://hal.inria.fr/hal-01222747
Contributeur : Kaustuv Chaudhuri
<>
Soumis le : vendredi 30 octobre 2015 - 14:41:47
Dernière modification le : jeudi 10 mai 2018 - 02:06:38
Iliano Cervesato, Kaustuv Chaudhuri. Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice. Iliano Cervesato; Kaustuv Chaudhuri. Aug 2015, Berlin, Germany. 2015, 〈10.4204/EPTCS.185〉. 〈http://lfmtp.org/workshops/2015〉. 〈hal-01222747〉
