BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Spain
Collaborated with:
J.Heras V.Pascual E.Domínguez M.A.Zapata
Talks about:
simplici (1) conceptu (1) approach (1) correct (1) system (1) prove (1) model (1) kenzo (1) meta (1) set (1)

Person: Julio Rubio

DBLP DBLP: Rubio:Julio

Contributed to:

LOPSTR 20102010
CAiSE 19971997

Wrote 2 papers:

LOPSTR-2010-HerasPR #correctness #proving #set
Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System (JH, VP, JR), pp. 37–51.
CAiSE-1997-DominguezZR #approach #concept #metamodelling
A Conceptual Approach to Meta-Modelling (ED, MAZ, JR), pp. 319–332.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.