Document Preview

Modeling of and reasoning about construction specifications to support automated defect detection

Boukamp, Frank.   Carnegie Mellon University ProQuest Dissertations & Theses,  2006. 3211182.