Programmverifikation. : Sequentielle, parallele und verteilte Programme. - Apt, Krzysztof R.; Olderog, Ernst-Rüdiger (Berlin-Heidelberg-New York : Springer-Verlag, 1994)
Keywords: programovanie; verifikácia; učebnice vysokých škôl; učebnice vysokých škôl