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

PDF
Download (206Kb)

Item Type:	Conference or Workshop Item (Paper)
Divisions:	Faculty of Physical and Applied Science > Electronics and Computer Science > Electronic & Software Systems
Item ID:	254442
Date Deposited:	20 Mar 2001
Last Modified:	02 Mar 2012 04:51
Contributors:	Snook, C. (Author) Butler, M. J. (Author)
Date:	2001
Status:	Published
Further Information:	Google Scholar
URI:	http://eprints.soton.ac.uk/id/eprint/254442

URI:
RDF:	RDF+N-Triples, RDF+N3, RDF+XML, Browse.

Actions (login required)

View Item