Jesús Correas Fernández

发表

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.
Germán Puebla, Diana V. Ramírez-Deantes, Jesús Correas Fernández, 2010, FACS.
Elvira Albert, Germán Puebla, Guillermo Román-Díez, 2014, Formal Aspects of Computing.
Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, 2005, LOPSTR.
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.
Manuel V. Hermenegildo, Germán Puebla, Pawel Pietrzak, 2008, PEPM '08.
Fernando Sáenz-Pérez, Jesús Correas Fernández, Sonia Estevez-Mart ´ in, 2007 .
Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, 2015, Softw. Test. Verification Reliab..
Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, 2012, FMCO.
Peter J. Stuckey, Kim Marriott, Manuel V. Hermenegildo, 2004, Program Development in Computational Logic.
Manuel V. Hermenegildo, Manuel Carro, Jesús Correas Fernández, 2003, ICLP.
Elvira Albert, Guillermo Román-Díez, Enrique Martin-Martin, 2014, ISoLA.
Fernando Sáenz-Pérez, Jesús Correas Fernández, Sonia Estévez Martín, 2018, Expert Syst. Appl..
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..
Manuel V. Hermenegildo, Germán Puebla, Pawel Pietrzak, 2006, LPAR.
Jesús Correas Fernández, Manuel Núñez García, María de las Mercedes Garcia Merayo, 2019 .
Einar Broch Johnsen, Elvira Albert, Ka I Pun, 2018, ACM Trans. Comput. Log..
Albert Rubio, Elvira Albert, Guillermo Román-Díez, 2020, 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST).
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, 2012, PEPM '12.
Albert Rubio, Elvira Albert, Guillermo Román-Díez, 2021, J. Syst. Softw..