Verification of Sequential and Concurrent Programs

MLA

Apt, Krzysztof R, et al. Verification of Sequential and Concurrent Programs. Springer London, 2009.

APA

Apt, K. R, Boer, F. S, Olderog, E., de Boer, F. S, & Pnueli, A. (2009). Verification of Sequential and Concurrent Programs. Springer London.

Chicago

Apt, Krzysztof R., Frank S Boer, Ernst-Rüdiger Olderog, Frank S de Boer, and Amir Pnueli. Verification of Sequential and Concurrent Programs. : Springer London, 2009.