Using a Graphical Design Tool for Formal Specification


Snook, C. and Butler, M. J. (2001) Using a Graphical Design Tool for Formal Specification. In, Proceedings 13th Annual Workshop of the Psychology of Programming Interest Group

Download

[img] PDF
Download (206Kb)
Item Type: Conference or Workshop Item (Paper)
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 254442
Date Deposited: 20 Mar 2001
Last Modified: 27 Mar 2014 19:57
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/254442

Actions (login required)

View Item View Item