OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Refine your Search

Your search

Year: 2014 Year: 2010 Year: 1202 Language: in Document Type: Sin Especificar Subject: Correctness

Sort by Score Title Year -

1-1 from 1 results (0.007 seconds)

Title: Representation of metamodels using inductive types in a type-theoretic framework for MDE
Language: in
Repository: 65
Subject: Model-Driven Engineering / Model Transformations / Correctness / Constructive Type Theory

Acceder

« Previous 1 Next »