BOZZELLI, LAURA and MURANO, ANIELLO and PERON, ADRIANO (2010) Pushdown Module Checking. [Pubblicazione su rivista scientifica]
