CoqTL: A Coq DSL for Rule-Based Model Transformation
Origine : Fichiers produits par l'(les) auteur(s)
Loading...