TY  - BOOK
AU  - Apt, Krzysztof R.; Boer, Frank S. de; Olderog, Ernst-Rüdiger
AU  - Apt,Krzysztof R.; Boer,Frank S.de; Olderog,Ernst-Rüdiger
TI  - Verification of Sequential and Concurrent Programs
SN  - 9781848827448
PY  - 2009///
CY  - Dordrecht; Heidelberg; London; New York
PB  - Springer
KW  - Sequential
ER  -