New Search

Advanced search
Export article

Certifying a rule-based model transformation engine for proof preservation

Zheng Cheng, Massimo Tisi, Joachim Hotonnier
The publisher has not yet granted permission to display this abstract.
Keywords: certification / Mde / model transformation / theorem proving / Coq / Programming Language Implementation

Scifeed alert for new publications

Never miss any articles matching your research from any publisher
  • Get alerts for new papers matching your research
  • Find out the new papers from selected authors
  • Updated daily for 49'000+ journals and 6000+ publishers
  • Define your Scifeed now

Share this article

References (34)
    Back to Top Top