The Cogito Development System
The Cogito Development System
ISBN 3-540-63888-1
586-591
Traynor, O.
dcdf641d-d426-4df5-b858-d86c0ccc3c7a
Hazel, D.
5dbf4857-cc6d-4d6e-a187-55c50f601ae7
Kearney, P.
10260807-93e0-4fe4-a98b-68b73e73cf6a
Martin, A.
169f0afa-12fc-43b5-a72d-7bfc493aa170
Nickson, R.
ad6270b3-07f1-46d4-ae10-7450339952d6
Wildman, L.
80c1b04e-b23f-44d4-b4ba-5c5b06d144d5
Johnson, M.
f641d826-cdd9-48dd-a328-5faa2ff570ff
December 1997
Traynor, O.
dcdf641d-d426-4df5-b858-d86c0ccc3c7a
Hazel, D.
5dbf4857-cc6d-4d6e-a187-55c50f601ae7
Kearney, P.
10260807-93e0-4fe4-a98b-68b73e73cf6a
Martin, A.
169f0afa-12fc-43b5-a72d-7bfc493aa170
Nickson, R.
ad6270b3-07f1-46d4-ae10-7450339952d6
Wildman, L.
80c1b04e-b23f-44d4-b4ba-5c5b06d144d5
Johnson, M.
f641d826-cdd9-48dd-a328-5faa2ff570ff
Traynor, O., Hazel, D., Kearney, P., Martin, A., Nickson, R. and Wildman, L.
(1997)
The Cogito Development System.
Johnson, M.
(ed.)
Proc. 6th Int. Conf. Algebraic Methodology and Software Technology (AMAST), LNCS 1349.
.
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: December 1997
Additional Information:
Address: Sydney, Australia
Venue - Dates:
Proc. 6th Int. Conf. Algebraic Methodology and Software Technology (AMAST), LNCS 1349, 1997-12-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 250573
URI: http://eprints.soton.ac.uk/id/eprint/250573
ISBN: ISBN 3-540-63888-1
PURE UUID: 8e19a180-e62d-474c-8ae0-429f962604a2
Catalogue record
Date deposited: 14 Jun 1999
Last modified: 08 Jan 2022 14:40
Export record
Contributors
Author:
O. Traynor
Author:
D. Hazel
Author:
P. Kearney
Author:
A. Martin
Author:
R. Nickson
Author:
L. Wildman
Editor:
M. Johnson
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics