Documents publiés en "2014"

monter Monter d'un niveau
Pour citer ou exporter
Grouper par: Auteurs ou autrices | Département | Sous-type de document | Aucun groupement
Nombre de documents: 1

Rapport technique

Lúcio, L., Oakes, B., & Vangheluwe, H. (2014). A technique for symbolically verifying properties of graph-based model transformations. (Rapport technique n° SOCS-TR-2014.1). Non disponible

Liste produite: Tue Oct 20 14:26:39 2026 EDT.