![](/img/cover-not-exists.png)
Reference Abstract Domains and Applications to String Analysis
Amadini, Roberto, Gange, Graeme, Gauthier, François, Jordan, Alexander, Schachte, Peter, Søndergaard, Harald, Stuckey, Peter J., Zhang, ChenyiVolume:
158
Language:
english
Journal:
Fundamenta Informaticae
DOI:
10.3233/FI-2018-1650
Date:
February, 2018
File:
PDF, 360 KB
english, 2018