João Paulo Pizani Flor
Universiteit Utrecht
H-index: 3
Europe-Netherlands
Top articles of João Paulo Pizani Flor
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Verified Technology Mapping in an Agda DSL for Circuit Design: Circuit refinement through gate and data concretisation | João Paulo Pizani Flor Wouter Swierstra | 2022/8/31 |