Statistics
Publications
1
Citations
24
H-Index
1
Active since
2006
Affiliations
Intel (United States)(Current)
rianne mason is an author at Intel (United States) specializing in software validation, model-based verification, and deductive verification.
Publications per year
2006–2006
1
1