Patrick M. Sansom

PM

Statistics

Publications

4

Citations

182

H-Index

4

Active since

1992

Affiliations

Patrick M. Sansom is an author at University of Glasgow specializing in formal methods, program analysis, and computer science.

Publications per year

1992–1997

4

Publications

4