"Formalizing and Verifying a Modern Build Language."

Maria Christakis, K. Rustan M. Leino, Wolfram Schulte (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics