research data . Dataset . 2007

Array Abstractions from Proofs

Jhala, Ranjit; McMillan, Kenneth L.;
  • Published: 29 Aug 2007
  • Publisher: Springer Berlin Heidelberg
doi: 10.1007/978-3-540-73368-3_23
Download from
https://dx.doi.org/10.1007/978...
Dataset . 2007
Provider: Datacite
Springer Berlin Heidelberg
Related research
23 research outcomes, page 1 of 3
23 research outcomes, page 1 of 3
Powered by OpenAIRE Research Graph
Any information missing or wrong?Report an Issue