M
artin
H
ofmann
Homepages 🌐
http://www.tcs.informatik.uni-muenchen.de/~mhofmann
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