Domaine: Lenguajes y Sistemas Informáticos

Groupe de recherche: Diseño y análisis formal de sistemas de software