APA Citation

Barringer, H. (2012). A survey of verification techniques for parallel programs. Berlin ; New York : Springer-Verlag.

Chicago Style Citation

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

MLA Citation

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

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