Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Software Verification by Combining Program Analyses of Adjustable Precision

Grégory Théoduloz

Details

Publication typePhdThesis
URLhttp://biblion.epfl.ch/EPFL/theses/2010/4781/EPFL_TH4781.pdf
InstitutionÉcole Polytechnique Fédérale de Lausanne
> Publications > Software Verification by Combining Program Analyses of Adjustable Precision