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:142 - 43 self