DMCA

A Transformational Approach for Generating Non-Linear Invariants (2000)

Cached

Download Links

by S. Bensalem , M. Bozga , J.-C. Fernandez , L. Ghirvu , Y. Lakhnech
Venue:IN STATIC ANALYSIS SYMPOSIUM (JUNE 2000
Citations:7 - 0 self