CoqTL: a Coq DSL for rule-based model transformation
Crossref DOI link: https://doi.org/10.1007/s10270-019-00765-6
Published Online: 2019-11-16
Published Print: 2020-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Cheng, Zheng
Tisi, Massimo
Douence, RĂ©mi
Text and Data Mining valid from 2019-11-16
Version of Record valid from 2019-11-16
Article History
Received: 16 December 2018
Revised: 31 July 2019
Accepted: 16 October 2019
First Online: 16 November 2019