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 :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=262043
