Syntactic and semantic dependence of array-arithmetic sentences, with an application to program verification (1996)

by L Marcus
Venue:Fundamenta Informaticae