Interpretación de KM3/ATL en Teoría de Tipos
Incluye en bibliografía y anexos
Saved in:
| Hovedforfatter: | |
|---|---|
| Format: | masterThesis |
| Sprog: | spansk |
| Udgivet: |
2013
|
| Fag: | |
| Online adgang: | http://hdl.handle.net/20.500.11968/3058 |
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|
Lignende værker: Interpretación de KM3/ATL en Teoría de Tipos
- Estado del arte de testing de transformaciones de modelos
- Experiment with a type-theoretic approach to the verification of model transformations
- A type-theoretic framework for certified model transformations
- Verification of model transformations : A survey of the state-of-the-art (Extended version)
- Informe final del proyecto: Control de tipos para Teoría de tipos nominal
- Inferencia de tipos de sesión