Sign in
An Integration of CafeOBJ into Full Maude.
Adrián Riesco
Published in:
WRLA (2014)
Keyphrases
</>
data integration
decision making
information systems
search algorithm
relational databases
multiresolution
software engineering
information integration
formal specification