Toggle Main Menu Toggle Search

Open Access padlockePrints

A survey of verification techniques for parallel programs

Lookup NU author(s): Professor Cliff JonesORCiD


Full text is not currently available for this publication.

Publication metadata

Author(s): Barringer H, Jones CB

Publication type: Report

Publication status: Published

Series Title:

Year: 1982

Print publication date: 01/09/1982

Source Publication Date: September 1982

Institution: University of Manchester

Place Published: Manchester