Microsoft Research
Microsoft Translator |
Software Verification by Combining Program Analyses of Adjustable Precision

Grégory Théoduloz
2010

Details

TypePhdThesis
URLhttp://biblion.epfl.ch/EPFL/theses/2010/4781/EPFL_TH4781.pdf
InstitutionÉcole Polytechnique Fédérale de Lausanne
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > Software Verification by Combining Program Analyses of Adjustable Precision