author : Eric C. R. Hehner

Papers/Articles

• Refinement Semantics and Loop Rules. 1999. In FM'99 volume 2
• Bunches for Object-Oriented, Concurrent, and Real-Time Specification. 1999. In FM'99 volume 1
• 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