Application of Formal Methods in the Scope of IT-Security.

Frank Koob, Markus Ullmann, Stefan Wittmann

Browse the full SAFECOMP paper archive.