Búsqueda de Publicación - Prisma - Unidad de Bibliometría

Publicaciones en la fuente 2015 ACM/IEEE 18TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS)

Tipo Año Título Fuente
Ponencia2015Fully Verifying Transformation Contracts for Declarative ATL2015 ACM/IEEE 18TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS)