Toggle Main Menu Toggle Search

ePrints

Specification before Satisfaction

Lookup NU author(s): Professor Cliff Jones

Downloads


Abstract

The paper is an "extended abstract" for the ZB Conference (it will appear in LNCS 3455)


Publication metadata

Author(s): Jones CB

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2005

Pages: 7

Print publication date: 01/02/2005

Source Publication Date: February 2005

Report Number: 892

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

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/892.pdf


Share