Concepedia

Author

Peter Mason

London School of Economics and Political Science

Also Known As

P J Mason, Peter Mason

3

Publications

72

Citations

1

H-Index

8

Concepts

All Affiliations

London School of Economics and Political Science
PM

About

Peter Mason is an author at London School of Economics and Political Science specializing in formal verification, formal specification, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

71

2

Software Analysis

1

1

71

3

Automated Reasoning

1

1

71

4

Formal Methods

1

1

71

5

Formal Specification

1

1

71

Peter Mason

×

1

Publications

71

Citations

1

H-Index

YearCitations

Page 1