Contract-Based Interface Specification Language for Functional and Non-Functional Properties
- Lookup NU author(s)
- Dr Richard Payne
- Professor John Fitzgerald
|
|
|
|
| Author(s) | | Payne RJ; Fitzgerald JS |
| Publication type | | Report |
| Series Title | | School of Computing Science Technical Report Series |
| Year | | 2011 |
| Date | | 2011 |
| Report Number | | 1250 |
| Pages | | 34 |
|
|
|
| Full text is available for this publication: |
|
|
|
| Institution | | School of Computing Science, University of Newcastle upon Tyne |
| Place Published | | Newcastle University |
| Actions | |  |
