Snook, C. and Butler, M. J. (2001) Using a Graphical Design Tool for Formal Specification. Proceedings 13th Annual Workshop of the Psychology of Programming Interest Group.
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: 2001
Venue - Dates:
Proceedings 13th Annual Workshop of the Psychology of Programming Interest Group, 2001-01-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 254442
URI: http://eprints.soton.ac.uk/id/eprint/254442
PURE UUID: 366df344-f1a8-4282-9ee2-c0b267d07177
Catalogue record
Date deposited: 20 Mar 2001
Last modified: 23 Sep 2020 01:35
Export record
Contributors
Author:
C. Snook
Author:
M. J. Butler
University divisions
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.