Computer Science Strikes Back Against Fraud

Graham Steel

School of Informatics

Research output: Working paper

1 results

Filter

Finished
AUTOMATED ANALYSIS OF SECURITY CRITICAL SYSTEMS
Bundy, A. & Fleuriot, J.
EPSRC
1/10/04 → 30/09/07
Project: Research