G. Román-Díez
发表
Elvira Albert,
Samir Genaim,
Miguel Gómez-Zamalloa,
2014,
TACAS.
E. Albert,
P. Arenas,
S. Genaim,
2012
.
E. Albert,
G. Román-Díez,
Pablo Gordillo,
2023,
TACAS.
Guillermo Román-Díez,
Pablo Gordillo,
Jesús Correas,
2021,
IEEE Access.
Albert Rubio,
Elvira Albert,
Guillermo Román-Díez,
2021,
J. Syst. Softw..
Albert Rubio,
Elvira Albert,
Guillermo Román-Díez,
2014,
TACAS.
Elvira Albert,
Germán Puebla,
Guillermo Román-Díez,
2015,
Theor. Comput. Sci..
Elvira Albert,
Samir Genaim,
Miguel Gómez-Zamalloa,
2015,
Softw. Test. Verification Reliab..
Elvira Albert,
Samir Genaim,
Germán Puebla,
2014,
Sci. Comput. Program..
Elvira Albert,
Guillermo Román-Díez,
Jesús Correas Fernández,
2019,
ISSTA.
Elvira Albert,
Samir Genaim,
Miguel Gómez-Zamalloa,
2012,
FMCO.
Albert Rubio,
Elvira Albert,
Guillermo Román-Díez,
2020,
ArXiv.
Cosimo Laneve,
Michael Lienhardt,
Ka I Pun,
2019,
J. Log. Algebraic Methods Program..
Reiner Hähnle,
E. Albert,
S. Genaim,
2016,
Software & Systems Modeling.
Reiner Hähnle,
Elvira Albert,
Samir Genaim,
2015
.
Reiner Hähnle,
Elvira Albert,
Samir Genaim,
2011,
PEPM '11.
Elvira Albert,
Guillermo Román-Díez,
Jesús Correas Fernández,
2019,
J. Syst. Softw..
Einar Broch Johnsen,
Elvira Albert,
Ka I Pun,
2018,
ACM Trans. Comput. Log..
Elvira Albert,
Germán Puebla,
Guillermo Román-Díez,
2014,
Formal Aspects of Computing.
Elvira Albert,
Germán Puebla,
Guillermo Román-Díez,
2013,
IFM.