Jean-Francois Bergeretti is an author at University of Southampton specializing in system software, software systems, and formal methods.
Top concepts
CompilersEngineeringVerificationFormal MethodsBinary AnalysisSoftware DesignStatic AnalysisSystem SoftwareComputer ScienceProgram Analysis
Publications per year
1985–1985
1
1
Rows per page
1–1 of 1