Toggle Main Menu Toggle Search

ePrints

Contract-Based Interface Specification Language for Functional and Non-Functional Properties

Lookup NU author(s): Dr Richard Payne, Professor John Fitzgerald

Downloads


Publication metadata

Author(s): Payne RJ; Fitzgerald JS

Publication type: Report

Series Title: School of Computing Science Technical Report Series

Year: 2011

Pages: 34

Source Publication Date: 2011

Report Number: 1250

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle University


Share