TASE   2007 Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering
Wall of Fame | Most Viewed TASE-2007 Paper
13 years 2 days ago
Design of a Certifying Compiler Supporting Proof of Program Safety
Safety is an important property of high-assurance software, and one of the hot research topics on it is the veriļ¬cation method for software to meet its safety policies. In our p...
Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Chen...
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
1Download preprint from source284
2Download preprint from source165
3Download preprint from source132
4Download preprint from source127
5Download preprint from source125
6Download preprint from source113
7Download preprint from source108
8Download preprint from source105
9Download preprint from source103
10Download preprint from source92
11Download preprint from source90
12Download preprint from source88
13Download preprint from source87
14Download preprint from source86
15Download preprint from source86
16Download preprint from source75