1
Publications
43
Citations
1
H-Index
1999
Active since
Affiliations
Mathias Braux is an author at École Nationale Supérieure des Mines de Paris specializing in system software, program analysis, and formal methods.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated Reasoning
Publications per year
1999–1999
1
1
Towards partially evaluating reflection in Java
Mathias Braux, Jacques Noyé · 1999 · 43 citations
Rows per page
1–1 of 1