Tools
Tools
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 |