Reference Abstract Domains and Applications to String Analysis.
Reference Abstract Domains and Applications to String Analysis.
Roberto Amadini, Graeme Gange, François Gauthier, Alexander Jordan, Peter Schachte, Harald Søndergaard, Peter J. Stuckey, Chenyi Zhang
01 December 2018
Venue : Fundam. Inform.
External Link: https://doi.org/10.3233/FI-2018-1650