Abstraction-Based Partial Deduction for Solving Inverse Problems -- A Transformational Approach to Software Verification (Extended Abstract) (2000)

Cached

Download Links

by Robert Glück , Michael Leuschel
Citations:16 - 11 self