AUTOMATED ANALYSIS OF SECURITY CRITICAL SYSTEMS

Bundy, Alan (Principal Investigator)
Fleuriot, Jacques (Co-Investigator (External))

School of Informatics

3 Conference contribution
2 Article
1 Working paper

1 results

Filter

2007

Computer Science Strikes Back Against Fraud
Steel, G., 2007.
Research output: Working paper