APA
Krzysztof R. Apt F. S. B. E. O., . (2009). Verification of Sequential and Concurrent Programs. Germany: Springer.
Chicago
Krzysztof R. Apt Frank S Boer Ernst-Rüdiger Olderog, . 2009. Verification of Sequential and Concurrent Programs. Germany: Springer.
Harvard
Krzysztof R. Apt F. S. B. E. O., . (2009). Verification of Sequential and Concurrent Programs. Germany: Springer.
MLA
Krzysztof R. Apt Frank S Boer Ernst-Rüdiger Olderog, . Verification of Sequential and Concurrent Programs. Germany: Springer. 2009.