Raggruppa per: Tipologia del documento | Nessun raggruppamento
Numero di documenti: 1.
Pubblicazione in rivista scientifica
Bozzelli, Laura and Murano, Aniello and Peron, Adriano (2010) Pushdown Module Checking. [Pubblicazione in rivista scientifica]