Coccinelle

swMATH29246MaRDI QIDQ40960FDOQ40960

Author name not available (Why is that?)

Official website: https://www.lri.fr/~contejea/Coccinelle/coccinelle.html

Described by source

• Modeling Permutations in Coq for Coccinelle

Cited In (3)

• Certifying a Termination Criterion Based on Graphs, without Graphs
• CoLoR
• IsaFoR

This page was built for software: Coccinelle