1
Publications
42
Citations
1
H-Index
1998
Active since
Y. Maschler is an author specializing in software analysis, program transformation, and formal methods.
Top concepts
EngineeringFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware AnalysisComputer EngineeringSoftware EngineeringProgram Transformation
Publications per year
1998–1998
1
1
Rows per page
1–1 of 1