Time versus abstraction in formal descriptions.

Bowman, H. and Blair, L. and Blair, Gordon S. and Chetwynd, Amanda G. (1994) Time versus abstraction in formal descriptions. In: Proceedings of the Sixth International Conference on Formal Description Techniques (Forte '93). Elsevier, North Holland.

Full text not available from this repository.
Item Type: Contribution in Book/Report/Proceedings
Uncontrolled Keywords: /dk/atira/pure/researchoutput/libraryofcongress/qa
Subjects:
Departments: Faculty of Science and Technology > School of Computing & Communications
Faculty of Science and Technology > Mathematics and Statistics
VC's Office
ID Code: 20764
Deposited By: Prof Amanda Chetwynd
Deposited On: 25 Nov 2008 16:52
Refereed?: No
Published?: Published
Last Modified: 10 Jun 2019 18:25
URI: https://eprints.lancs.ac.uk/id/eprint/20764

Actions (login required)

View Item View Item