Highperformance deduction for verification: a case study in the theory of arrays (2002)

by A Armando, M P Bonacina, S Ranise, M Rusinowitch, A K Sehgal
Venue:In Notes 2nd VERIFY Workshop, 3rd FLoC. Number 07/2002 in Technical Reports. DIKU