Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Applications of real number theorem proving in PVS

Applications of real number theorem proving in PVS

Ursula Martin and others

Journal
Formal Asp. Comput.
Number
6
Publisher
Formal Asp. Comput.
Volume
25
Year
2013

Links

See Also

Back to Top