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: 2013 Year: 2014 Document Type: Sin Especificar Language: in Repository: 65 Subject: QVT-relations

Sort by Score Title Year -

1-1 from 1 results (0.008 seconds)

Title: Institution-based semantics for MOF and QVT-relations :Extended version
Language: in
Repository: 65
Subject: MOF / QVT-relations / Semántica formal / Teoría de instituciones / Verificación formal

Acceder

« Previous 1 Next »