Book

Programmverifikation

by Krzysztof R. Apt, Ernst-Rüdiger Olderog