Jump to Content

Choice in Dynamic Linking

Georges Gonthier
Benjamin Werner
FoSSaCS (2004), pp. 12-26

Abstract

Research Areas