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.
![[img]](../style/images/fileicons/application_pdf.png) | 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
