Enriched -Calculi Module Checking.

Alessandro Ferrante, Aniello Murano

Browse the full FOSSACS paper archive.