"Efficient Verification and New Reasoning Techniques for Concurrent ..."

Luis Fernando Pino Duque (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics