Tiantian Li

Tiantian Li is an author at Shandong University of Science and Technology specializing in engineering, formal methods, and formal verification.

Publications per year

2010–2021

6

Publications

6