Publication
Quantifier Elimination for Statistical Problems
Publication
Mobility Types for Mobile Ambients
Publication
Detours: Binary Interception of Win32 Functions
Publication