by Albert, Elvira, Arenas, Puri, Gómez‐Zamalloa, Miguel
Published in Software testing, verification & reliability (01.05.2018)

by Albert, Elvira, Arenas, Puri, Genaim, Samir, Puebla, German, Zanardini, Damiano
Published in Theoretical computer science (06.01.2012)

by Albert, Elvira, Arenas, Puri, Genaim, Samir, Puebla, Germán
Published in Journal of automated reasoning (01.02.2011)

by Albert, Elvira, Arenas, Puri, Gómez-Zamalloa, Miguel
Published in Formal Techniques for Distributed Objects, Components, and Systems (2014)

by Albert, Elvira, Arenas, Puri, Genaim, Samir, Puebla, Germán
Published in Science of computer programming (01.11.2015)

by Albert, Elvira, Arenas, Puri, Genaim, Samir, Puebla, Germán, Román-Díez, Guillermo
Published in Science of computer programming (15.10.2014)

by ALBERT, Elvira, ARENAS, Puri, GENAIM, Samir, PUEBLA, German, ZANARDINI, Damiano
Published in Theoretical computer science (2012)

by Albert, Elvira, Arenas, Puri, Correas, Jesús, Genaim, Samir, Gómez-Zamalloa, Miguel, Puebla, Germán, Román-Díez, Guillermo
Published in Software testing, verification & reliability (01.05.2015)

by Albert, Elvira, Arenas, Puri, de la Banda, María García, Gómez-Zamalloa, Miguel, Stuckey, Peter J.
Published in Computer Aided Verification (2017)

by Albert, Elvira, Arenas, Puri, Flores-Montoya, Antonio, Genaim, Samir, Gómez-Zamalloa, Miguel, Martin-Martin, Enrique, Puebla, German, Román-Díez, Guillermo
Published in Tools and Algorithms for the Construction and Analysis of Systems (2014)

by ALBERT, ELVIRA, ARENAS, PURI, PUEBLA, GERMÁN, HERMENEGILDO, MANUEL
Published in Theory and practice of logic programming (01.05.2012)

by Albert, Elvira, Arenas, Puri, Genaim, Samir, Puebla, Germán
Published in Static Analysis (2008)

by Albert, Elvira, Arenas, Puri, Gómez-Zamalloa, Miguel
Published in Automated Technology for Verification and Analysis (2015)

by Albert, Elvira, Arenas, Puri, Gómez-Zamalloa, Miguel, Rojas, Jose Miguel
Published in Formal Methods for Executable Software Models (2014)

by Albert, Elvira, Arenas, Puri, Gómez-Zamalloa, Miguel
Published in Practical Aspects of Declarative Languages (23.01.2012)

by Alonso-Blas, Diego Esteban, Arenas, Puri, Genaim, Samir
Published in Automated Technology for Verification and Analysis (2013)

by Albert, Elvira, Arenas, Puri, Genaim, Samir, Gómez-Zamalloa, Miguel, Puebla, German
Published in Programming Languages and Systems (2011)

by Albert, Elvira, Arenas, Puri, Puebla, Germán, Hermenegildo, Manuel
Published in Lecture notes in computer science (2006)

by Albert, Elvira, Arenas, Puri, Genaim, Samir, Puebla, German, Zanardini, Damiano
Published in Formal Methods for Components and Objects (2008)

by Arenas, Puri, Gulías, Víctor M.
Published in Electronic notes in theoretical computer science (01.05.2012)