A logical model for relational abstract domains
Giacobazzi, Roberto, Scozzari, FrancescaVolume:
20
Journal:
ACM Transactions on Programming Languages and Systems
DOI:
10.1145/293677.293680
Date:
September, 1998
File:
PDF, 2.58 MB
1998