Neil Ongkingco

NO

Statistics

Publications

5

Citations

208

H-Index

5

Active since

2006

Neil Ongkingco is an author at University of Oxford specializing in formal methods, program analysis, and formal verification.

Publications per year

2006–2007

5

Publications

5