%0 Conference Paper
%A Román-Díez, Guillermo
%A Rubio, Albert
%A Albert Albiol, Elvira María
%A Correas Fernández, Jesús
%A Gordillo Alguacil, Pablo
%T Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT
%D 2024
%U https://hdl.handle.net/20.500.14352/121778
%~