A survey of verification techniques for parallel programs

  1. Lookup NU author(s)
  2. Professor Cliff Jones
Author(s)Barringer H, Jones CB
Publication type Report
Series Title
Year1982
Legacy DateSeptember 1982
Pages
Full text is not currently available for this publication.
InstitutionUniversity of Manchester
Place PublishedManchester
ActionsLink to this publication