BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Estonia
1 × France
1 × Italy
Collaborated with:
J.Meseguer C.A.Muñoz R.Gutiérrez H.Cadavid R.Siminiceanu
Talks about:
modulo (2) interchang (1) interact (1) languag (1) environ (1) analysi (1) system (1) rewrit (1) formal (1) execut (1)

Person: Camilo Rocha

DBLP DBLP: Rocha:Camilo

Contributed to:

WRLA 20142014
IFM 20122012
WRLA 20122012

Wrote 3 papers:

WRLA-2014-RochaMM #analysis #smt
Rewriting Modulo SMT and Open System Analysis (CR, JM, CAM), pp. 247–262.
IFM-2012-RochaCMS #execution #interactive #verification
A Formal Interactive Verification Environment for the Plan Execution Interchange Language (CR, HC, CAM, RS), pp. 343–357.
WRLA-2012-GutierrezMR #axiom #order #similarity
Order-Sorted Equality Enrichments Modulo Axioms (RG, JM, CR), pp. 162–181.

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.