title: Reasoning about programes via operational semantics: Requirement for a support system. 
creator: Hughes, John R.D
creator: Jones, Cliff B
subject: Methodology
publisher: Springer
date: 2008
type: Book Section
type: PeerReviewed
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/177/1/HughesJones08.pdf
identifier:   Hughes, John R.D and Jones, Cliff B  (2008) Reasoning about programes via operational semantics: Requirement for a support system.   In:  Automated Software Engineering.   Springer.      
relation: http://deploy-eprints.ecs.soton.ac.uk/177/