creators_name: Hughes, John R.D
creators_name: Jones, Cliff B
creators_id: Cliff.Jones@ncl.ac.uk
type: book_section
datestamp: 2010-01-12 10:11:16
lastmod: 2010-04-19 15:05:59
metadata_visibility: show
title: Reasoning about programes via operational semantics: Requirement for a support system. 
ispublished: pub
subjects: deploy_method
full_text_status: restricted
date: 2008
date_type: published
publisher: Springer
refereed: TRUE
book_title: Automated Software Engineering
citation:   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.      
document_url: http://deploy-eprints.ecs.soton.ac.uk/177/1/HughesJones08.pdf