Verification of sequential and concurrent programs - Apt, Krzysztof R. 1949-; Olderog, Ernst-Rüdiger 1955- (Springer, 1991)
Literaturangaben
Keywords: Logiciels - Vérification; Software; Verificatie; logiciel parallèle; logiciel réparti; programme séquentiel; synchronisation; vérification logiciel; Computer software -- Verification; Programmverifikation; Verifikation