The Static Detection of Synchronization Anomalies in HAL/S Programs

by University of Colorado. Department of Computer Science, Guy Neil Rowland Bristow · 1979