Identifica't
Grups
Investigadors/es
Resultats
An integration of CafeOBJ into Full Maude
Riesco, A.
Col·lecció de llibres
:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN
:
1611-3349
,
0302-9743
Any de publicació
:
2014
Volum
:
8663
Pàgines
:
230-246
Tipus
:
Article
Exporta
Exporta
×
MLA
modern-language-association
APA
apa
Chicago
chicago-fullnote-bibliography
Harvard
harvard-cite-them-right
Vancouver
vancouver-author-date
RIS
BibTex
Exporta
×
El document no es pot exportar perquè pertany a un altre portal.
Text complet
lock_open
Text complet
externo
DOI:
10.1007/978-3-319-12904-4_13
GOOGLE SCHOLAR
lock_open
Accés obert
editor
Font de les dades: Scopus
Contacta
Avís legal
Ajuda
translate
ca
arrow_drop_down
translate
ca
arrow_drop_down
es
eu
gl
en
fr
de