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