Feng Wang is an author at East China Normal University specializing in computer science, programming languages, and system software.
Top concepts
EngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingHardware SecuritySoftware AnalysisFormal Verification
Publications per year
2018–2018
1
1
KRust: A Formal Executable Semantics of Rust
Rows per page
1–1 of 1