Concepedia

P. Luostarinen

PL

1

Publications

23

Citations

1

H-Index

1993

Active since

Affiliations

University of Cambridge(Current)

P. Luostarinen is an author at University of Cambridge specializing in computer science, automated reasoning, and software design.

Top concepts

Publications per year

1993–1993

1

Publications

1

Mechanizing some advanced refinement concepts

Joakim Wright, Jukka Hekanaho, P. Luostarinen et al. · Formal Methods in System Design · 1993 · 23 citations

, , +8

Rows per page

1–1 of 1