Software Verification by Combining Program Analyses of Adjustable Precision
Grégory Théoduloz
2010
Details
| Type | PhdThesis |
| URL | http://biblion.epfl.ch/EPFL/theses/2010/4781/EPFL_TH4781.pdf |
| Institution | École Polytechnique Fédérale de Lausanne |
Grégory Théoduloz
2010
| Type | PhdThesis |
| URL | http://biblion.epfl.ch/EPFL/theses/2010/4781/EPFL_TH4781.pdf |
| Institution | École Polytechnique Fédérale de Lausanne |