Sciweavers

ESOP
2006
Springer

Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions

13 years 7 months ago
Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions
Sumit Gulwani, Ashish Tiwari
Added 22 Aug 2010
Updated 22 Aug 2010
Type Conference
Year 2006
Where ESOP
Authors Sumit Gulwani, Ashish Tiwari
Comments (0)