APA (7th ed.) Citation

Barringer, H. (1985). A survey of verification techniques for parallel programs. Springer-Verlag.

Chicago Style (17th ed.) Citation

Barringer, Howard. A Survey of Verification Techniques for Parallel Programs. Berlin ; New York: Springer-Verlag, 1985.

MLA (8th ed.) Citation

Barringer, Howard. A Survey of Verification Techniques for Parallel Programs. Springer-Verlag, 1985.

Warning: These citations may not always be 100% accurate.