L
ennart
B
eringer
Entries
2008
A Bytecode Logic for JML and Types
by
Lennart Beringer
and
Martin Hofmann
🌐
Dec 12
Secure information flow and program logics
by
Lennart Beringer
and
Martin Hofmann
🌐
Nov 10