RT Conference Proceedings
T1 Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT
A1 Román-Díez, Guillermo
A1 Rubio, Albert
A1 Albert Albiol, Elvira María
A1 Correas Fernández, Jesús
A1 Gordillo Alguacil, Pablo
YR 2024
FD 2024-09-19
LK https://hdl.handle.net/20.500.14352/121778
UL https://hdl.handle.net/20.500.14352/121778
LA eng
DS Docta Complutense
RD 26 feb 2026