Next:
Aims and Objectives
Up:
Program Analysis and the
Previous:
Related Work
Programme and Methodology
Subsections
Aims and Objectives
Programme
Methodology
Track A: The Typed
-Calculus
Track B: Qualitative/Quantitative Security Analyses and Integration
Track C: Experimentation
Igor Siveroni 2004-08-16
-Calculus