Àrea: Llenguatges i Sistemes Informàtics

Grup d'investigació: Diseño y análisis formal de sistemas de software