SPEX: A Method for Specifying the Dynamics of Structured Specifications Including Control Information
- Publisher
- AUSTRALIAN COMPUTER SOCIETY INC
- Issue Date
- 1989-02
- Language
- English
- Citation
AUSTRALIAN COMPUTER JOURNAL, v.21, no.1, pp.19 - 27
- ISSN
- 0004-8917
- Appears in Collection
- CS-Journal Papers(저널논문)
- Files in This Item
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.