![](/img/cover-not-exists.png)
[IEEE 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) - Tokyo (2006.09.18-2006.09.22)] 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) - Effective Generation of Interface Robustness Properties for Static Analysis
Acharya, Mithun, Sharma, Tanu, Xu, Jun, Xie, TaoYear:
2006
Language:
english
DOI:
10.1109/ase.2006.35
File:
PDF, 196 KB
english, 2006