Skip to content

Specification and verification of meta-programs.

Martin Berger

VenueCPEPM
Year2012
ProceedingsPEPM

Browse the full PEPM paper archive.