Research Assistants

MSc. Noé S. Hernández

Model Checking and Formal Languages

Cub. 416, Tel. 56223617, ext. 46