A survey of verification techniques for parallel programs by Howard Barringer cover

A survey of verification techniques for parallel programs

by Howard Barringer

Genre: ai

Description

A survey of verification techniques for parallel programs by Howard Barringer. Read online or download for free.