Secure Implementation of Channel Abstractions (2000)

by Martin Abadi , Cédric Fournet , Georges Gonthier
Citations:76 - 29 self