1 January 2023

The book chapter “Lifting String Analysis Domains”, by Olliaro, M., Arceri, V., Cortesi, A., Ferrara, P., has just been published in “Intelligent Systems Reference Library”! Available here.