Auflistung nach Autor "Garcia, Miguel"
Anzeige der Dokumente 1-2 von 2
-
Certification of Transformation Algorithms in Model-Driven Software Development
Garcia, Miguel; Möller, Ralf
107-118 -
Rules for Type-checking of Parametric Polymorphism in EMF Generics
Garcia, Miguel
261-270