Edinburgh Research Archive

Algebraic approach to hardware description and verification

Files

Cardelli1982.Pdf (6.64 MB)

Item Status

Embargo End Date

Date

1982

Authors

Abstract

URI

http://hdl.handle.net/1842/13308

This item appears in the following Collection(s)

Informatics thesis and dissertation collection