2
Publications
146
Citations
2
H-Index
1991
Active since
Affiliations
Stephen-wei Chung is an author at Fermi National Accelerator Laboratory specializing in automated reasoning, formal verification, and formal methods.
Top concepts
EngineeringData ScienceVerificationData ModelingFormal MethodsComputer ScienceAutomated ReasoningFormal Verification
Publications per year
1991–1995
2
2
String consistency for unified model building
Syomantak Chaudhuri, Stephen-wei Chung, G. Hockney et al. · Nuclear Physics B · 1995 · 123 citations · Full text
Rows per page
1–2 of 2