Shuling Wang

SW

13

Publications

468

Citations

11

H-Index

2006

Active since

Shuling Wang is an author at Institute of Software specializing in engineering, formal verification, and formal methods.

Publications per year

2006–2022

13

Publications

13