Search:
Computing and Library Services - delivering an inspiring information environment

The validation of formal specifications of requirements

McCluskey, T.L., Porteous, J.M., West, Margaret M. and Bryant, C.H. (1997) The validation of formal specifications of requirements. In: BCS-FACS Northern Formal Methods Workshop: proceedings of the BCS-FACS Northern Formal Methods Workshop, Ilkley, UK, 23-24 September 1996. Springer, pp. 8-9. ISBN 9783540761174

Metadata only available from this repository.
Item Type: Book Chapter
Subjects: Q Science > Q Science (General)
Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Schools: School of Computing and Engineering
School of Computing and Engineering > Pedagogical Research Group
School of Computing and Engineering > Informatics Research Group
School of Computing and Engineering > Informatics Research Group > Knowledge Engineering and Intelligent Interfaces
Related URLs:
Depositing User: Sharon Beastall
Date Deposited: 30 Jun 2010 13:44
Last Modified: 16 Dec 2010 13:46
URI: http://eprints.hud.ac.uk/id/eprint/7965

Item control for Repository Staff only:

View Item

University of Huddersfield, Queensgate, Huddersfield, HD1 3DH Copyright and Disclaimer All rights reserved ©