ALICIA
MERAYO CORCOBA
Postdoctoral UCM
ELVIRA MARÍA
ALBERT ALBIOL
Catedrática de universidad
Publicaciones en las que colabora con ELVIRA MARÍA ALBERT ALBIOL (2)
2022
-
When COSTA Met KeY: Verified Cost Bounds
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Science and Business Media Deutschland GmbH), pp. 19-37
2021
-
Lower-Bound Synthesis Using Loop Specialization and Max-SMT
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)