Autor/in Mantel, Heiko Starostin, Artem Lortz, Steffen 2 Bollmann, Dominik 1 Bähr, Timo 1 Schneider, David 1 Weber, Alexandra 1 alle zeigenListe einklappen
An automatic inference of minimal security types Bollmann, Dominik Lortz, Steffen Mantel, Heiko Starostin, Artem 2015 - TUHH Open Research
Cassandra: Towards a certifying app store for android Lortz, Steffen Mantel, Heiko Starostin, Artem Bähr, Timo Schneider, David Weber, Alexandra 2014 - TUHH Open Research