Statistics
Publications
1
Citations
40
H-Index
1
Active since
2005
Affiliations
Iowa State University(Current)
Arun D. Raghavan is an author at Iowa State University.
Publications per year
2005–2005
1
1
Desugaring JML Method Specifications
Arun D. Raghavan, Gary T. Leavens · 2005 · 40 citations · Full text
1–1 of 1