M-String Segmentation: a Refined Abstract Domain for String Analysis in C programs

Institutions 2

ACADIA Research Centre Rese... Università Ca' Foscari Venezia


Category
Education activity


From July 11, 2018 to July 11, 2018


See Website

M-String Segmentation: a Re... Institutions

gabriella.traviglia@unive.it / info@venezia86.it