DMCA

Secure Implementation of Channel Abstractions (2000)

by Martin Abadi , Cédric Fournet , Georges Gonthier
Citations:81 - 25 self