Matthieu Herrmann is an author at Monash University specializing in system software, formal methods, and parallel programming.
Top concepts
EngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisParallel ComputingFormal Verification
Publications per year
2011–2023
6
6
Rows per page
1–5 of 6