University of Cambridge. Computer Laboratory
URI(s)
Additional Information
Exact Matching Concepts from Other Schemes
Closely Matching Concepts from Other Schemes
Earlier Established Forms
Sources
found: Abstraction mechanisms for hardware verification, 1987.
found: BL auth. file, 12 Dec. 2006(University of Cambridge. Computer Laboratory)
found: University of Cambridge website, 25 Jan. 2007computer laboratory/history(the Computer Laboratory then known as the Mathematical Laboratory was founded in 1937)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
2006-12-12: new
2007-01-26: revised
Alternate Formats