Concepedia

Siyang Xiao

SX

Statistics

Publications

1

Citations

23

H-Index

1

Active since

2019

Affiliations

University of Science and Technology of China(Current)

Siyang Xiao is an author at University of Science and Technology of China specializing in formal methods, verified compilation, and concurrent system verification.

Publications per year

2019–2019

1

Publications

1