Statistics
Publications
1
Citations
15
H-Index
1
Active since
1983
Affiliations
Virginia Tech(Current)
Mark M. Nickson is an author at Virginia Tech specializing in automation, formal verification, and semantics.
Publications per year
1983–1983
1
1
1–1 of 1