Travelled to:
1 × Germany
Collaborated with:
M.Rodríguez-Artalejo
Talks about:
hierarchi (1) inherit (1) algebra (1) specif (1) object (1) formal (1) gota (1)
Person: Joaquín Mateos-Lago
DBLP: Mateos-Lago:Joaqu=iacute=n
Contributed to:
Wrote 1 papers:
- PLILP-1996-Mateos-LagoR #algebra #inheritance #specification
- GOTA Algebras: A Specification Formalism for Inheritance and Object Hierarchies (JML, MRA), pp. 62–76.