software technology Ensuring the Integrity of Embedded Software with Static Code Analysis2009-05-018 PRE AI BBen Chelf CChristof Ebert DOI:10.1109/MS.2009.65原文链接原文求助分享收藏摘要 En