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.
PDF - Published Version Restricted to Registered users only 323Kb |
Item Type: | Book Section |
---|---|
Subjects: | Methodology |
ID Code: | 177 |
Deposited By: | Miss Jodi Hossbach |
Deposited On: | 12 Jan 2010 10:11 |
Last Modified: | 19 Apr 2010 16:05 |
Repository Staff Only: item control page