A Survey of Verification Techniques for Parallel Programs

SPRINGER
05 / 1985
9783540152392
Inglés
Lecture Notes in Computer Science