Not registered as user yet

Name: Patrick Brinich

Affiliation: Drexel University

Contributions

CoqPL 2021 Author of Verification of Algorithm and Code Generation for Signal Transforms within the CoqPL-track