Verification of sequential and concurrent programs - Apt, Krzysztof R.; Boer, Frank S.; Olderog, Ernst-Rudiger.; SpringerLink (Online service) (London : Springer-Verlag London, 2009)
Keywords: Computer software -- Verification; Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages