Title of article
Secure Implementation of Channel Abstractions
Author/Authors
Mart?n Abadi، نويسنده , , Cedric Fournet، نويسنده , , Georges Gonthier، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2002
Pages
47
From page
37
To page
83
Journal title
Information and Computation
Serial Year
2002
Journal title
Information and Computation
Record number
262043
Link To Document