Automated Real Proving in PVS via MetiTarski

Lecture Notes in Computer Science - FM 2014: Formal Methods ◽

10.1007/978-3-319-06410-9_14 ◽

2014 ◽

pp. 194-199 ◽

Author(s):

William Denman ◽

César Muñoz

Download Full-text