Coccinelle

swMATH29246MaRDI QIDQ40960FDOQ40960

Author name not available (Why is that?)

Described by source

• Modeling Permutations in Coq for Coccinelle

Cited In (1)

• Certifying a Termination Criterion Based on Graphs, without Graphs

This page was built for software: Coccinelle