Skip to content

Generic Approach to Certified Static Checking of Module-like Constructs.

Julia Belyakova

VenueAECOOP
Year2017
ProceedingsFTfJP@ECOOP

Browse the full ECOOP paper archive.