CoqTL: a Coq DSL for rule-based model transformation

Overview of attention for article published in Software and Systems Modeling, November 2019

Altmetric Badge

About this Attention Score

Good Attention Score compared to outputs of the same age (67th percentile)
Good Attention Score compared to outputs of the same age and source (77th percentile)

So far, Altmetric has seen 7 X posts from 6 X users, with an upper bound of 1,931 followers.

RT @sosym_journal: #OnlineFirst: CoqTL: a Coq DSL for rule-based model transformation; Zheng Cheng, Massimo Tisi, Rémi Douence; https://t.c…

RT @sosym_journal: #OnlineFirst: CoqTL: a Coq DSL for rule-based model transformation; Zheng Cheng, Massimo Tisi, Rémi Douence; https://t.c…

#OnlineFirst: CoqTL: a Coq DSL for rule-based model transformation; Zheng Cheng, Massimo Tisi, Rémi Douence; https://t.co/6rt0KMd0GV

RT @naomod_team: "CoqTL: a Coq DSL for rule-based model transformation" is now available here: https://t.co/HcspEPhnoh

RT @naomod_team: "CoqTL: a Coq DSL for rule-based model transformation" is now available here: https://t.co/HcspEPhnoh

RT @naomod_team: "CoqTL: a Coq DSL for rule-based model transformation" is now available here: https://t.co/HcspEPhnoh

"CoqTL: a Coq DSL for rule-based model transformation" is now available here: https://t.co/HcspEPhnoh