Concepedia

Paul King

PK

Statistics

Publications

2

Citations

205

H-Index

2

Active since

1989

Paul King is an author specializing in software engineering, formal methods, and automated reasoning.

Top concepts

Publications per year

1989–1991

2

Publications

2

Object-Z: An Object-Oriented Extension to Z

D. A. Carrington, David Duke, Roger Duke et al. · Formal Techniques for (Networked and) Distributed Systems · 1989 · 113 citations

, , +9

The object-Z specification language: version 1

Roger Duke, Paul King, Gordon A. Rose et al. · 1991 · 92 citations

1–2 of 2