Peter Morris

PM

12

Publications

759

Citations

12

H-Index

1967

Active since

Peter Morris is an author at University of Nottingham specializing in formal methods, engineering, and automated reasoning.

Publications per year

1967–2021

12

Publications

12