Statistics
Publications
1
Citations
71
H-Index
1
Active since
1979
Affiliations
Peter Mason is an author at London School of Economics and Political Science specializing in formal verification, formal specification, and automated reasoning.
Publications per year
1979–1979
1
1
1–1 of 1