Reference Abstract Domains and Applications to String Analysis.

01 December 2018

Venue : Fundam. Informaticae

External Link: https://doi.org/10.3233/FI-2018-1650