Strongly-Typed Theory of Structures and Behaviours
Hanna, Keith,
Daeche, Neil
(1993)
Strongly-Typed Theory of Structures and Behaviours.
In:
Correct Hardware Design and Verification Methods.
.
pp. 39-54.
Springer-Verlag
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21085)
The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided.
(Contact us about this Publication)
|
- Depositors only (login required):
|