1
Publications
29
Citations
1
H-Index
1995
Active since
Eddie Chang is an author specializing in formal methods, computer engineering, and system software.
Top concepts
EngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingReal-time SystemsSoftware AnalysisAutomated Reasoning
Publications per year
1995–1995
1
1
STeP: The Stanford Temporal Prover (Educational Release) User''s Manual
Nikolaj Bjørner, Anca Browne, Eddie Chang et al. · 1995 · 29 citations
Rows per page
1–1 of 1