Concepedia

Edward Pierzchalski

EP

1

Publications

50

Citations

1

H-Index

2016

Active since

Affiliations

UNSW Sydney(Current)

Edward Pierzchalski is an author at UNSW Sydney specializing in formal methods, engineering, and system software.

Top concepts

Publications per year

2016–2016

1

Publications

1

Compositional Verification and Refinement of Concurrent Value-Dependent Noninterference

Toby Murray, Robert Sison, Edward Pierzchalski et al. · 2016 · 50 citations

, , +21

Rows per page

1–1 of 1