Search results for: Maria-del-Mar Gallardo
Journal of Reliable Intelligent Environments > 2017 > 3 > 3 > 189-207
Journal of Reliable Intelligent Environments > 2017 > 3 > 1 > 55-79
Formal Aspects of Computing > 2017 > 29 > 3 > 531-557
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Selected Posters > 210-212
Software Testing, Verification and Reliability > 24 > 6 > 438 - 471
The Journal of Systems & Software > 2014 > 90 > Complete > 61-75
Software Testing, Verification and Reliability > 21 > 4 > 267 - 298
Journal of Automated Reasoning > 2009 > 42 > 2-4 > 229-264
Electronic Notes in Theoretical Computer Science > 2007 > 190 > 4 > 33-48
Science of Computer Programming > 2007 > 65 > 1 > 57-69
Theoretical Computer Science > 2005 > 346 > 1 > 58-95
Electronic Notes in Theoretical Computer Science > 2005 > 133 > Complete > 217-236
Computer Communications > 2005 > 28 > 6 > 609-622
Electronic Notes in Theoretical Computer Science > 2005 > 112 > Complete > 19-36
International Journal on Software Tools for Technology Transfer > 2004 > 5 > 2-3 > 165-184
Computer Communications > 2002 > 25 > 3 > 189-197