Refinement of Systems with an Attacker Focus.

Kim Guldstrand Larsen, Axel Legay, Danny Bgsted Poulsen

Browse the full FMICS paper archive.