Ver Publicación - Prisma - Unidad de Bibliometría

Fully Verifying Transformation Contracts for Declarative ATL

Oakes, BJ ; Troya, J; Lucio, L; Wimmer, M

Tipo: Ponencia
Año de Publicación: 2015
Páginas: 256 - 265
Fuente Nº Citas Fecha Actualización
wos1129-10-2024
No exiten datos para esta publicación
# Autor Afiliación
1Oakes, BJ McGill University (Canada)
2Troya, JTechnische Universitat Wien (Austria)
3Lucio, LMcGill University (Canada)
4Wimmer, MTechnische Universitat Wien (Austria)