Jump to Content

"Language-Based Security"

Greg Morrisett
Andrei Sabelfeld
J. Funct. Program., vol. 15 (2005), pp. 129

Abstract

Research Areas