| 2007 |
|---|
| 5 | EE | Mirian Andrés,
Laureano Lambán,
Julio Rubio:
Executing in Common Lisp, Proving in ACL2.
Calculemus/MKM 2007: 1-12 |
| 2005 |
|---|
| 4 | EE | César Domínguez,
Dominique Duval,
Laureano Lambán,
Julio Rubio Garcia:
Towards Diagrammatic Specifications of Symbolic Computation Systems.
Mathematics, Algorithms, Proofs 2005 |
| 2003 |
|---|
| 3 | EE | Laureano Lambán,
Vico Pascual,
Julio Rubio:
An Object-oriented Interpretation of the EAT System.
Appl. Algebra Eng. Commun. Comput. 14(3): 187-215 (2003) |
| 2001 |
|---|
| 2 | EE | César Domínguez,
Laureano Lambán,
Vico Pascual,
Julio Rubio:
Hidden Specification of a Functional System.
EUROCAST 2001: 555-569 |
| 1999 |
|---|
| 1 | EE | Laureano Lambán,
Vico Pascual,
Julio Rubio:
Specifying Implementations.
ISSAC 1999: 245-251 |
