A Theory of Lazy Imperative Timing

10/23/2018

∙

by   Eric C. R. Hehner, et al.

∙

0

∙

share

We present a theory of lazy imperative timing.