Statistics
Publications
1
Citations
22
H-Index
1
Active since
2005
Affiliations
The University of Queensland(Current)
S.-K. Kim is an author at The University of Queensland specializing in model checking, testing, and specification languages.
Publications per year
2005–2005
1
1
1–1 of 1