Systematic Construction of Security Types (2001)

Cached

Download Links

by François Pottier , Christian Skalka , Scott Smith