| Original language | English |
|---|---|
| Publication status | Published - 2007 |
Projects
- 1 Finished
-
AUTOMATED ANALYSIS OF SECURITY CRITICAL SYSTEMS
Bundy, A. (Principal Investigator) & Fleuriot, J. (Co-Investigator (External))
1/10/04 → 30/09/07
Project: Research
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver