 | 2009 |
|---|
| 5 |       | María Alpuente,
Santiago Escobar,
José Meseguer,
Pedro Ojeda:
Order-Sorted Generalization.
Electr. Notes Theor. Comput. Sci. 246: 27-38 (2009) |
| 4 | | Mauricio Alba-Castro,
María Alpuente,
Santiago Escobar,
Pedro Ojeda,
Daniel Romero:
A Tool for Automated Certification of Java Source Code in Maude.
Electr. Notes Theor. Comput. Sci. 248: 19-29 (2009) |
| 2008 |
|---|
| 3 | | María Alpuente,
Santiago Escobar,
José Meseguer,
Pedro Ojeda:
A Modular Equational Generalization Algorithm.
LOPSTR 2008: 24-39 |
| 2 | | María Alpuente,
Pedro Ojeda,
Daniel Romero,
Demis Ballis,
Moreno Falaschi:
An Abstract Generic Framework for Web Site Verification.
SAINT 2008: 104-110 |
| 2007 |
|---|
| 1 | | María Alpuente,
Demis Ballis,
Moreno Falaschi,
Pedro Ojeda,
Daniel Romero:
A Fast Algebraic Web Verification Service.
RR 2007: 239-248 |
