![](/img/cover-not-exists.png)
[IEEE 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE) - Taipei, Taiwan (2010.08.25-2010.08.27)] 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering - A Certifying Compiler for Clike Subset of C Language
Li, Zhaopeng, Zhuang, Zhong, Chen, Yiyun, Yang, Simin, Zhang, Zhenting, Fan, DaweiYear:
2010
Language:
english
DOI:
10.1109/tase.2010.8
File:
PDF, 567 KB
english, 2010