SyDPaCC

MaRDI QIDQ21888swMATHFDO

Official website http://traclifo.univ-orleans.fr/SyDPaCC/

Cited in

(1)

• A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction

This page was built for software: SyDPaCC