Toggle Main Menu Toggle Search

Open Access padlockePrints

Enhancing the tractability of rely/guarantee specifications in the development of interfering operations

Lookup NU author(s): Professor Cliff JonesORCiD


Publication metadata

Author(s): Collette P, Jones CB

Publication type: Report

Publication status: Published

Series Title:

Year: 1995

Print publication date: 01/01/1995

Source Publication Date: 1995

Report Number: UMCS-95-10-3

Institution: Manchester University

Place Published: Manchester