CoqTL: A Coq DSL for Rule-Based Model Transformation

Authors
Publication date
1 January 2019
Publisher
'Springer Science and Business Media LLC'
Doi

    Abstract

    International audienc

      Similar works

      Full text

      thumbnail-image

      Available Versions

      Archive Ouverte en Sciences de l'Information et de la Communication

      redirect
      oaioai:HAL:hal-02333564v1
      Last time updated on 09/11/2019

      HAL-Univ-Nantes

      redirect
      oaioai:HAL:hal-02333564v1
      Last time updated on 05/12/2019

      INRIA a CCSD electronic archive server

      redirect
      oaioai:HAL:hal-02333564v1
      Last time updated on 11/12/2019