Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Xin Hua, Hantao Zhang. Axiomatic semantics of a hardware specification language. In Proceedings of the Second Great Lakes Symposium on VLSI, Kalamazoo, MI, USA, February 28-29, 1992. pages 183-190, IEEE, 1992. [doi]
Abstract is missing.