Juerjens, JanYu, YijunBauer, Andreas2015-12-10September1477-9358http://hdl.handle.net/1885/52935Tools for traceable security verification20082015-12-09