On the Refinement and Simulation of Data Types and Processes
Autors principals: | Bolton, C, Davies, J, Woodcock, J |
---|---|
Format: | Conference item |
Publicat: |
1999
|
Ítems similars
-
Abstract data types and Processes
per: Woodcock, J, et al.
Publicat: (2000) -
A comparison of refinement orderings and their associated simulation rules
per: Bolton, C, et al.
Publicat: (2002) -
Using Z: Specification‚ Refinement‚ and Proof
per: Woodcock, J, et al.
Publicat: (1996) -
Refinement in Object−Z and CSP
per: Bolton, C, et al.
Publicat: (2002) -
Data Refinement Refined
per: Hoare, C, et al.
Publicat: (1985)