Skip to main content
University of Oxford Department of Computer Science
- Home
- Research
- Publications
- Towards formal methods for mathematical modeling To appear‚ 5th NASA Langley Formal Methods Workshop 2000
Towards formal methods for mathematical modeling To appear‚ 5th NASA Langley Formal Methods Workshop 2000
Ursula Martin