TY - RPRT TI - A model and framework for reliable build systems AU - Derrick Coetzee AU - Anand Bhaskar AU - George Necula PY - 2012 UR - https://arxiv.org/abs/1203.2704 ID - 1203.2704 ER -