Nandit Tiku

NT

Statistics

Publications

1

Citations

87

H-Index

1

Active since

2011

Nandit Tiku is an author at University of Illinois Urbana-Champaign specializing in engineering, program analysis, and formal verification.

Publications per year

2011–2011

1

Publications

1