Static timing analysis and program proof

Roderick Chapman. Static timing analysis and program proof. PhD thesis, University of York, UK, 1995. [doi]

Abstract

Abstract is missing.