J. Fernández
发表
E. Albert,
G. Román-Díez,
Pablo Gordillo,
2023,
TACAS.
Albert Rubio,
Elvira Albert,
Guillermo Román-Díez,
2021,
J. Syst. Softw..
Albert Rubio,
Elvira Albert,
Guillermo Román-Díez,
2014,
TACAS.
Manuel V. Hermenegildo,
Germán Puebla,
Francisco Bueno,
2005,
LOPSTR.
M. Hermenegildo,
M. Carro,
J. M. Gómez,
2004,
PADL.
Fernando Sáenz-Pérez,
Jesús Correas Fernández,
Sonia Estévez Martín,
2012,
FLOPS.
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,
Guillermo Román-Díez,
Jesús Correas Fernández,
2019,
ISSTA.
Elvira Albert,
Samir Genaim,
Miguel Gómez-Zamalloa,
2012,
FMCO.
Manuel V. Hermenegildo,
Germán Puebla,
Pawel Pietrzak,
2008,
PEPM '08.
Manuel V. Hermenegildo,
Germán Puebla,
Pawel Pietrzak,
2006,
LPAR.
Albert Rubio,
Elvira Albert,
Guillermo Román-Díez,
2020,
ArXiv.
Elvira Albert,
Guillermo Román-Díez,
Jesús Correas Fernández,
2019,
J. Syst. Softw..
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.