Verified Timing Transformations in Synchronous Circuits with \lambda \pi -Ware.

Joo Paulo Pizani Flor, Wouter Swierstra

Browse the full ITP paper archive.