This page shows all presentations of this author published in EasyChair Smart Slide.
Verified Timing Transformations in Synchronous Circuits with LambdaPi-Ware
João Paulo Pizani Flor and Wouter Swierstra