Guillermo Román-Díez

发表

Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, 2009, Electron. Notes Theor. Comput. Sci..
Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, 2015, FM.
Elvira Albert, Guillermo Román-Díez, Jesús Correas Fernández, 2019, J. Syst. Softw..
Elvira Albert, Guillermo Román-Díez, Jesús Correas Fernández, 2014, SAS.
Albert Rubio, Elvira Albert, Guillermo Román-Díez, 2020, ArXiv.
Elvira Albert, Samir Genaim, Germán Puebla, 2014, Sci. Comput. Program..
Elvira Albert, Germán Puebla, Guillermo Román-Díez, 2014, Formal Aspects of Computing.
Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, 2014, TACAS.
Cosimo Laneve, Michael Lienhardt, Ka I Pun, 2019, J. Log. Algebraic Methods Program..
Albert Rubio, Elvira Albert, Guillermo Román-Díez, 2014, TACAS.
Elvira Albert, Guillermo Román-Díez, Jesús Correas Fernández, 2016, Theory and Practice of Formal Methods.
Juan de Lara, Esther Guerra, Manuel Núñez, 2017, STAF Workshops.
Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, 2015, Softw. Test. Verification Reliab..
Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, 2012, FMCO.
Elvira Albert, Guillermo Román-Díez, Enrique Martin-Martin, 2014, ISoLA.
Reiner Hähnle, Elvira Albert, Samir Genaim, 2011, PEPM '11.
Elvira Albert, Guillermo Román-Díez, Jesús Correas Fernández, 2019, ISSTA.
Einar Broch Johnsen, Elvira Albert, Guillermo Román-Díez, 2015, SAS.
Elvira Albert, Guillermo Román-Díez, Jesús Correas Fernández, 2015, TACAS.
Elvira Albert, Germán Puebla, Guillermo Román-Díez, 2013, IFM.
Elvira Albert, Germán Puebla, Guillermo Román-Díez, 2015, Theor. Comput. Sci..
Reiner Hähnle, Elvira Albert, Samir Genaim, 2015, Software & Systems Modeling.
Einar Broch Johnsen, Elvira Albert, Ka I Pun, 2018, ACM Trans. Comput. Log..
Reiner Hähnle, Elvira Albert, Samir Genaim, 2012, FASE.
Albert Rubio, Elvira Albert, Guillermo Román-Díez, 2020, 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST).
Elvira Albert, Germán Puebla, Guillermo Román-Díez, 2012, PEPM '12.
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..