[IEEE 2008 Canadian Conference on Electrical and Computer Engineering - CCECE - Niagara Falls, ON, Canada (2008.05.4-2008.05.7)] 2008 Canadian Conference on Electrical and Computer Engineering - Verification of program dynamic behaviours based on static analysis
Shanwei Xu,, Dasiewicz, P.Year:
2008
DOI:
10.1109/ccece.2008.4564528
File:
PDF, 106 KB
2008