|
|
|
Dr. rer. nat., ir. Antonio Cau
Research Themes
Research Interests
- Formal Methods
- Verification
- Compositionality
- Executable Specification
- Re-Engineering
- Computer Security
Contact Details
Software Technology Research Laboratory
De Montfort University,
Room BI 2.31,
Bede Island Building,
The Gateway,
Leicester LE1 9BH, England
Telephone: ++44 (0)116 257 7937
Fax: ++44 (0)116 257 7936
E-mail: cau at dmu.ac.uk
WWW: Home Page
|
|
|
|
