Timing refinement of intuitionistic proofs and its application to the timing analysis of combinational circuits (0)

by M Mendler
Venue:Proceedings of the 5th International Workshop on Theorem Proving with Analytic