|
|
-
-
Dr.-Ing. Renate A. Schmidt
- School of Computer Science,
University of Manchester
- Oxford Rd, Manchester M13 9PL, UK
-
- Tel: +44 (0)161 275 6163,
Fax: +44 (0) 161 275 6204
- Mobile: +44 (0)776 193 5696
- Email:
Renate.Schmidt@manchester.ac.uk
-
- Kilburn Building, Room: 2.42.
- Research group:
Formal Methods (FM)
|