K. Rustan M. Leino, Peter Müller, Jan Smans. Verification of Concurrent Programs with Chalice. In Alessandro Aldini, Gilles Barthe, Roberto Gorrieri, editors, Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures. Volume 5705 of Lecture Notes in Computer Science, pages 195-222, Springer, 2009. [doi]