Concepedia

Peter Kirkham

PK

1

Publications

10

Citations

1

H-Index

2002

Active since

Affiliations

University of York(Current)

Peter Kirkham is an author at University of York specializing in system software, program analysis, and formal verification.

ORCID

Top concepts

Publications per year

2002–2002

1

Publications

1

The Safety Argument Manager: an integrated approach to the engineering and safety assessment of computer based systems

Sarah Wilson, John McDermid, Peter Kirkham et al. · 2002 · 10 citations

, , +24

Rows per page

1–1 of 1