Concepedia
Statistics
Publications
1
Citations
22
H-Index
Active since
2019
Affiliations
TU Wien(Current)
Pamina Georgiou is an author at TU Wien specializing in automated reasoning, deductive verification, and programming languages.
Publications per year
2019–2019
Verifying relational properties using trace logic
Gilles Barthe, Renate Eilers, Pamina Georgiou et al. · Chalmers Research (Chalmers University of Technology) · 2019 · 22 citations
Computing, Computer Science, Formal Methods +14
1–1 of 1