Grupo de Investigación en Métodos Formales


Área de Teoría de la Computación
Facultad de Ciencias de la Computación
B. Universidad Autónoma de Puebla