Formalizing and Verifying a Modern Build Language.

Maria Christakis, K. Rustan M. Leino, Wolfram Schulte

Browse the full FM paper archive.