TY  - BOOK
AU  - Apt,Krzysztof R.
AU  - Boer,Frank S.de
AU  - Olderog,E.R.
TI  - Verification of sequential and concurrent programs
T2  - Texts in computer science
SN  - 9781848827448 (hbk.)
U1  - 005.14 22
PY  - 2009///
CY  - London, New York
PB  - Springer
KW  - Computer software
KW  - Verification
N1  - Includes bibliographical references and indexes
N2  - This third edition provides a systematic exploration of one of the most common approaches to program verification, known as the assertional approach. This approach is applied to deterministic & nondeterministic sequential programs of varying complexity, together with both parallel and distributed concurrent programs
ER  -