Computer Science Strikes Back Against Fraud

Graham Steel

School of Informatics

Research output: Working paper

Original language	English
Publication status	Published - 2007

Access to Document

http://dream.inf.ed.ac.uk/projects/aascs/cs-writing.pdf

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

Cite this