> Eric C. R. Hehner
Eric C. R. Hehner
author : Eric C. R. Hehner
Bunches for Object-Oriented, Concurrent, and Real-Time Specification. 1999.
FM'99 volume 1
Refinement Semantics and Loop Rules. 1999.
FM'99 volume 2
Formalism and the variable. 2000.
Millennial Perspectives in Computer Science
Theories, Implementations, and Transformations. 2002.
High-level circuit design. 2003.