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