Modeling and Verifying Systems using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions (2002)

Cached

Download Links

by Randal E. Bryant , Shuvendu K. Lahiri , Sanjit A. Seshia
Citations:139 - 41 self