Published in

Springer, Lecture Notes in Computer Science, p. 450-464, 2015

DOI: 10.1007/978-3-319-21401-6_31

Springer Verlag, Journal of Automated Reasoning, 3(58), p. 363-390

DOI: 10.1007/s10817-016-9382-4

Links

Tools

Export citation

Search in Google Scholar

Abstract Interpretation as Automated Deduction

Journal article published in 2015 by Vijay D’Silva, Caterina Urban
This paper was not found in any repository, but could be made available legally by the author.
This paper was not found in any repository, but could be made available legally by the author.

Full text: Unavailable

Red circle
Preprint: archiving forbidden
Orange circle
Postprint: archiving restricted
Red circle
Published version: archiving forbidden
Data provided by SHERPA/RoMEO