Searching for "Array Abstractions from Proofs." – sorted by Relevance.
-
Array abstractions from proofs
- Array Abstractions from Proofs Ranjit Jhala 1 Kenneth L. McMillan 2 1 UC San Diego 2 Cadence
- Cited by 4 (0 self) – Add To MetaCart

