Formal Methods in the Security Business: Exotic Flowers Thriving in an Expanding Niche.

David von Oheimb

Browse the full FM paper archive.