[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

Breuer, 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

作者Breuer, 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
文件大小1258.49KB
发表时间2007
DOI10.1109/sew.2007.37
页码246-255

发现好书期刊，享受阅读乐趣

[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