[IEEE 2009 24th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Auckland, New Zealand (2009.11.16-2009.11.20)] 2009 IEEE/ACM International Conference on Automated Software Engineering - Static Validation of C Preprocessor Macros
Saebjoernsen, Andreas; Jiang, Lingxiao; Quinlan, Daniel; Su, Zhendong
- 作者Saebjoernsen, Andreas; Jiang, Lingxiao; Quinlan, Daniel; Su, Zhendong
- 文件大小597.27KB
- 发表时间2009
- DOI10.1109/ase.2009.75
- 页码149-160