SyDPaCC

swMATH9909MaRDI QIDQ21888FDOQ21888

Author name not available (Why is that?)

Cited In (1)

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

This page was built for software: SyDPaCC