![[IEEE 31st IEEE Software Engineering Workshop (SEW 2007) - Columbia, MD, USA (2007.03.6-2007.02.8)] 31st IEEE Software Engineering Workshop (SEW 2007) - Verification in the Light and Large: Large-Scale Verification for Fast-Moving Open Source C Projects]()
[IEEE 31st IEEE Software Engineering Workshop (SEW 2007) - Columbia, MD, USA (2007.03.6-2007.02.8)] 31st IEEE Software Engineering Workshop (SEW 2007) - Verification in the Light and Large: Large-Scale Verification for Fast-Moving Open Source C ProjectsBreuer, Peter T.; Breuer, Peter T.; Breuer, Peter T.; Breuer, Peter T.; Breuer, Peter T.; Breuer, Peter T.; Breuer, Peter T.; Breuer, Peter T.; Breuer, Peter T.; Pickin, Simon; Pickin, Simon; Pickin, Simon; Pickin, Simon; Pickin, Simon; Pickin, Simon; Pickin, Simon; Pickin, Simon; Pickin, Simon · 2007