Barringer, H. (1985). A survey of verification techniques for parallel programs. Springer-Verlag.
Chicagoスタイル(17版)引用形式Barringer, Howard. A Survey of Verification Techniques for Parallel Programs. Berlin ; New York: Springer-Verlag, 1985.
MLA(8版)引用形式Barringer, Howard. A Survey of Verification Techniques for Parallel Programs. Springer-Verlag, 1985.
警告: この引用は必ずしも正確ではありません.