Número de Documento     
Artículo:

Refinement types for secure implementations

Autor:

Jesper Bengtson,

Karthikeyan Bhargavan,

Cédric Fournet,

Andrew D. Gordon,

Sergio Maffeis

Página:

Article No.: 8

Publicación:

ACM Transactions on Programming Languages and Systems

Volúmen:

33

Número:

2

Periodo:

2011

ISSN:

01640925

SrcID:

01640925-2011-02.txt

Número de Documento