[IEEE 31st IEEE Software Engineering Workshop (SEW 2007) - Columbia, MD, USA (2007.03.6-2007.02.8)] 31st IEEE Software Engineering Workshop (SEW 2007) - Abstracting Pointers for a Verifying Compiler

• 作者Kulczycki, Gregory; Kulczycki, Gregory; Kulczycki, Gregory; Kulczycki, Gregory; Keown, Heather; Keown, Heather; Keown, Heather; Keown, Heather; Sitaraman, Murali; Sitaraman, Murali; Sitaraman, Murali; Sitaraman, Murali; Weide, Bruce W.; Weide, Bruce W.; Weide, Bruce W.; Weide, Bruce W.
• 文件大小287.65KB
• 发表时间2007
• DOI10.1109/sew.2007.89
• 页码204-213