Statistics
Publications
1
Citations
119
H-Index
1
Active since
2011
Affiliations
New York University(Current)
Corey Malone is an author at New York University specializing in formal methods, formal verification, and system software.
Publications per year
2011–2011
1
1