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:

?? QA MATHEMATICS ??

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?:

Published?:

Published

Last Modified:

16 Sep 2023 02:54

URI:

https://eprints.lancs.ac.uk/id/eprint/20764