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