|
|
|
Dr. Ben Moszkowski
Senior Research Fellow
Research Themes
Research Interests
- Formal Methods
- Temporal Logic
- Executable Specification
- Verification
Contact Details
Software Technology Research Laboratory
De Montfort University,
Room BI 1.20,
Bede Island Building,
The Gateway,
Leicester LE1 9BH, England
Telephone: 8480
Fax: ++44 (0)116 257 7936
E-mail: benm at dmu.ac.uk
WWW: Home Page
|
|
|
|
