Reasoning about programs via operational semantics: requirements for a support system
- Lookup NU author(s)
- John Hughes
- Professor Cliff Jones
|
|
|
|
| Author(s) | | Hughes JRD, Jones CB |
| Publication type | | Article |
| Journal | | Automated Software Engineering |
| Year | | 2008 |
| Volume | | 15 |
| Issue | | 3-4 |
| Pages | | 299-312 |
| ISSN (print) | | 0928-8910 |
| ISSN (electronic) | | 1573-7535 |
|
|
|
| Full text for this publication is not currently held within this repository. Alternative links are provided below where available. |
|
|
|
| Publisher | | Springer |
| URL | | http://dx.doi.org/10.1007/s10515-008-0036-6 |
| DOI | | 10.1007/s10515-008-0036-6 |
|
|
Actions | |   |
