J.S. Kim

JK

Statistics

Publications

1

Citations

125

H-Index

1

Active since

2006

J.S. Kim is an author specializing in formal verification, parallel computing, and verification.

Publications per year

2006–2006

1

Publications

1