Jung-Hee Cheon

JC

1

Publications

120

Citations

1

H-Index

2008

Active since

Jung-Hee Cheon is an author at University of California, Irvine specializing in verification, formal verification, and discrete mathematics.

Publications per year

2008–2008

1

Publications

1