Edinburgh Research Archive

Verification in ASL and related specification languages

Files

Farres-Casals1992.Pdf (10.19 MB)

Item Status

Embargo End Date

Date

1992

Authors

Abstract

URI

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

This item appears in the following Collection(s)

Informatics thesis and dissertation collection