"A case study on the lightweight verification of a multi-threaded task server."

Néstor Cataño et al. (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics