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

Information
Library
Statistics

Information

URI:

https://eprints.hud.ac.uk/id/eprint/7965

URI:

https://eprints.hud.ac.uk/id/eprint/7965

URI:

https://eprints.hud.ac.uk/id/eprint/7965

URI:

https://eprints.hud.ac.uk/id/eprint/7965

URI:

https://eprints.hud.ac.uk/id/eprint/7965

URI:

https://eprints.hud.ac.uk/id/eprint/7965

URI:

https://eprints.hud.ac.uk/id/eprint/7965

URI:

https://eprints.hud.ac.uk/id/eprint/7965

URI:

https://eprints.hud.ac.uk/id/eprint/7965

URI:

https://eprints.hud.ac.uk/id/eprint/7965

URI:

https://eprints.hud.ac.uk/id/eprint/7965

URI:

https://eprints.hud.ac.uk/id/eprint/7965

URI:

https://eprints.hud.ac.uk/id/eprint/7965

URI:

https://eprints.hud.ac.uk/id/eprint/7965

URI:

https://eprints.hud.ac.uk/id/eprint/7965

URI:

https://eprints.hud.ac.uk/id/eprint/7965

URI:

https://eprints.hud.ac.uk/id/eprint/7965

URI:

https://eprints.hud.ac.uk/id/eprint/7965

URI:

https://eprints.hud.ac.uk/id/eprint/7965

URI:

https://eprints.hud.ac.uk/id/eprint/7965

URI:

https://eprints.hud.ac.uk/id/eprint/7965

URI:

https://eprints.hud.ac.uk/id/eprint/7965

URI:

https://eprints.hud.ac.uk/id/eprint/7965

URI:

https://eprints.hud.ac.uk/id/eprint/7965

URI:

https://eprints.hud.ac.uk/id/eprint/7965

Title:

The validation of formal specifications of requirements

Creators:

McCluskey, T.L., Porteous, J.M., West, Margaret M. and Bryant, C.H.

Editors:

Duke, David J and Evans, A.S.

Date:

1997

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 > High-Performance Intelligent Computing
School of Computing and Engineering > High-Performance Intelligent Computing > Planning, Autonomy and Representation of Knowledge
School of Computing and Engineering > High-Performance Intelligent Computing > Planning, Autonomy and Representation of Knowledge

Library

Item Type:

Book Chapter

Depositing User:

Sharon Beastall

Date Deposited:

30 Jun 2010 12:44

Revision:

19

Last Modified:

28 Aug 2021 10:57

Statistics

CORE (COnnecting REpositories)

CORE (COnnecting REpositories)

Tools

Add to Any

Add to Email