Composition in Multi-Paradigm Specification Techniques

Blair, Lynne and Blair, Gordon S. (1999) Composition in Multi-Paradigm Specification Techniques. In: 3rd International Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS'99), 1900-01-01. (Unpublished)

Full text not available from this repository.
Item Type: Contribution to Conference (Other)
Journal or Publication Title: 3rd International Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS'99)
Uncontrolled Keywords: /dk/atira/pure/researchoutput/libraryofcongress/qa75
Subjects:
Departments: Faculty of Science and Technology > School of Computing & Communications
ID Code: 11692
Deposited By: ep_importer_comp
Deposited On: 07 Jul 2011 15:46
Refereed?: No
Published?: Unpublished
Last Modified: 16 Jul 2019 00:07
URI: https://eprints.lancs.ac.uk/id/eprint/11692

Actions (login required)

View Item View Item