"Verification of Concurrent Programs with Chalice."

K. Rustan M. Leino, Peter Müller, Jan Smans (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics