Toggle Main Menu Toggle Search

Open Access padlockePrints

Specification before Satisfaction

Lookup NU author(s): Professor Cliff Jones



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