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 |