MODELS 2026 (series) / Laura Panizo
Registered user since Mon 25 Sep 2017
Name:Laura Panizo
Country:Spain
Affiliation:Universidad de Málaga
Personal website: http://www.lcc.uma.es/~laurapanizo/Laura_Panizo/Home.html
Research interests:Formal Methods, Model Checking, Hybrid Systems
Contributions
2026
Using general profile