Verification of sequential and concurrent programs - Apt, Krzysztof R. , 1949-; Boer, Frank S. de; Olderog, Ernst-Rudiger (Dordrecht ; New York : Springer, 2009)
1. In the beginning -- 2. Deterministic programs -- 3. Parallel programs -- 4. Nondeterministic and distributed programs
Keywords: Computer software -- Verification