Title

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

Date of Original Version

2002

Type

Working Paper

Rights Management

All Rights Reserved