![](/img/cover-not-exists.png)
[IEEE 2009 Third IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI) - Shanghai, China (2009.07.8-2009.07.10)] 2009 Third IEEE International Conference on Secure Software Integration and Reliability Improvement - Verifying Aspect-Oriented Programs Using Open Temporal Logic
Lv, Jia, Ying, Jing, Wu, Minghui, Jiang, Tao, Zhu, FanweiYear:
2009
Language:
english
DOI:
10.1109/ssiri.2009.20
File:
PDF, 721 KB
english, 2009