Ernst-Rüdiger Olderog. Verification of Sequential and Concurrent Systems (2009)

by Krzysztof R Apt, Frank S de Boer
Venue:Texts and Monographs in Computer Science