Applications of real number theorem proving in PVS
Hanne Gottliebsen‚ Ruth Hardy‚ Olga Lightfoot and Ursula Martin
Journal
Formal Aspects of Computing
Pages
On–line
Publisher
Springer−Verlag
Year
2012
Hanne Gottliebsen‚ Ruth Hardy‚ Olga Lightfoot and Ursula Martin