Concepedia
Statistics
Publications
1
Citations
12
H-Index
Active since
2021
Affiliations
Aarhus University(Current)
Johan Bay is an author at Aarhus University.
Publications per year
2021–2021
Mechanized logical relations for termination-insensitive noninterference
Simon Oddershede Gregersen, Johan Bay, Amin Timany et al. · Proceedings of the ACM on Programming Languages · 2021 · 12 citations · Full text
1–1 of 1