Statistics
Publications
1
Citations
21
H-Index
1
Active since
2014
Affiliations
Stanford University(Current)
Heather Logas is an author at Stanford University specializing in formal methods, software design, and program analysis.
Publications per year
2014–2014
1
1
1–1 of 1