Object-oriented Formal Specification in LOTOS
- Publisher
- Australian Computer Society, Inc.
- Issue Date
- 1991
- Language
- English
- Citation
AUSTRALIAN COMPUTER JOURNAL
- ISSN
- 0004-8917
- Appears in Collection
- 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.