research data . Dataset . 2007

Array Abstractions from Proofs

Jhala, Ranjit; McMillan, Kenneth L.;
  • Published: 29 Aug 2007
  • Publisher: Springer Berlin Heidelberg