A Concurrent Language for Refinement
Woodcock, Jim,
Cavalcanti, Ana L. C.
(2001)
A Concurrent Language for Refinement.
In:
5th Irish Workshop on Formal Methods.
.
(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:13502)
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):
|