Reference Abstract Domains and Applications to String Analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Roberto Amadini, Graeme Gange, François Gauthier, Alexander Jordan, Peter Schachte, Harald Søndergaard, Peter J. Stuckey, Chenyi Zhang. Reference Abstract Domains and Applications to String Analysis. Fundamenta Informaticae, 158(4):297-326, 2018. [doi]

This author has not been identified. Look up 'Roberto Amadini' in GoogleThis author has not been identified. Look up 'Graeme Gange' in GoogleThis author has not been identified. Look up 'François Gauthier' in GoogleThis author has not been identified. Look up 'Alexander Jordan' in GoogleThis author has not been identified. Look up 'Peter Schachte' in GoogleThis author has not been identified. Look up 'Harald Søndergaard' in GoogleThis author has not been identified. Look up 'Peter J. Stuckey' in GoogleThis author has not been identified. Look up 'Chenyi Zhang' in Google

runs on WebDSL