Guanlai Zhang is an author at Institute of Automation specializing in software analysis, formal verification, and systems engineering.
Top concepts
BlockchainEngineeringFormal MethodsIndustrial DesignSoftware AnalysisFormal VerificationSystems EngineeringComputer-aided Design
Publications per year
2021–2021
1
1
Rows per page
1–1 of 1