Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 15/09/2005 → 25/03/2009 |
Funding
- Programbevilling
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Research output
- 1 Ph.D. thesis
-
Constraint Solver Techniques for Implementing Precise and Scalable Static Program Analysis
Zhang, Y., Mar 2009, Kgs. Lyngby, Denmark: Technical University of Denmark. (IMM-PHD-2008-211).Research output: Book/Report › Ph.D. thesis
Open AccessFile684 Downloads (Orbit)