Statistics
Publications
1
Citations
11
H-Index
1
Active since
2001
Affiliations
Mitre (United States)(Current)
F. Wireland is an author at Mitre (United States) specializing in formal methods, parallel programming, and formal verification.
Publications per year
2001–2001
1
1