Hao Chen

EECS Department, University of California, Berkeley

2004

Advisors: David A. Wagner

---

BibTeX citation:

@phdthesis{Chen:8347,
    Author= {Chen, Hao},
    Title= {Lightweight Model Checking for Improving Software Security},
    School= {EECS Department, University of California, Berkeley},
    Year= {2004},
}

EndNote citation:

%0 Thesis
%A Chen, Hao 
%T Lightweight Model Checking for Improving Software Security
%I EECS Department, University of California, Berkeley
%D 2004
%F Chen:8347