Sciweavers

135
Voted
POPL
2007
ACM
15 years 9 months ago
Secure implementations of typed channel abstractions
Michele Bugliesi, Marco Giunti