1 January 2018

The conference paper “M-string segmentation: A refined abstract domain for string analysis in C Programs”, by Cortesi, A., Olliaro, M., has just been published in “Proceedings - 2018 12th International Symposium on Theoretical Aspects of Software Engineering, TASE 2018”! Available here.