Barringer, H. (1985). A survey of verification techniques for parallel programs. [S.n.].
Cita Chicago Style (17a ed.)Barringer, Howard. A Survey of Verification Techniques for Parallel Programs. Berlín: [S.n.], 1985.
Cita MLA (9a ed.)Barringer, Howard. A Survey of Verification Techniques for Parallel Programs. [S.n.], 1985.
Precaución: Estas citas no son 100% exactas.