Statistics
Publications
1
Citations
25
H-Index
1
Active since
2004
Affiliations
Ames Research Center(Current)
J. Green is an author at Ames Research Center specializing in formal methods, computing, and software modeling.
Publications per year
2004–2004
1
1
1–1 of 1