Verification of sequential and concurrent programs /

Autor Apt, Krzysztof R., 1949-, Boer, Frank S. de, Olderog, Ernst-Rüdiger, 1955-
Vydáno 2009