2
Publications
78
Citations
2
H-Index
2018
Active since
Affiliations
Bohan Qin is an author at University of Science and Technology Beijing specializing in system software, software design, and computer science.
Top concepts
BlockchainEngineeringCryptographyFormal MethodsSmart ContractsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware Analysis
Publications per year
2018–2021
2
2
SPESC: A Specification Language for Smart Contracts
Rows per page
1–2 of 2