Verification of sequential and concurrent programs - Apt, Krzysztof R. 1949-; Boer, Frank S. de 1956-; Olderog, Ernst-Rüdiger 1955- (Texts in computer science, 2009)