Search results for: Miguel Gómez-Zamalloa
Software Testing, Verification and Reliability > 28 > 3 > n/a - n/a
Lecture Notes in Computer Science > Logic-Based Program Synthesis and Transformation > Program Termination > 23-42
Lecture Notes in Computer Science > Programming Languages and Systems > Session 5: Concurrency 2 > 238-254
Software Testing, Verification and Reliability > 25 > 3 > 218 - 271
International Journal on Software Tools for Technology Transfer > 2015 > 17 > 1 > 107-119
Science of Computer Programming > 2013 > 78 > 9 > 1427-1448
Information and Software Technology > 2009 > 51 > 10 > 1409-1427
Information Processing Letters > 2009 > 109 > 15 > 879-886
Electronic Notes in Theoretical Computer Science > 2007 > 190 > 1 > 85-101