Certified Reasoning with Infinity

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

10.1007/978-3-319-19249-9_31 ◽

2015 ◽

pp. 496-513

Author(s):

Asankhaya Sharma ◽

Shengyi Wang ◽

Andreea Costea ◽

Aquinas Hobor ◽

Wei-Ngan Chin

Download Full-text