"177","Reasoning about programes via operational semantics: Requirement for a support system. ","","http://deploy-eprints.ecs.soton.ac.uk/177/","Hughes, John R.D and Jones, Cliff B","UNSPECIFIED","       <span class=\"person_name\">Hughes, John R.D</span> and <span class=\"person_name\">Jones, Cliff B</span>     (2008)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/177/\"><em>Reasoning about programes via operational semantics: Requirement for a support system.</em></a>              In:         Automated Software Engineering.               Springer.                ",",Cliff.Jones@ncl.ac.uk","2008"