"Provably Correct Systems"

Michael G. Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics