Sciweavers

CSFW
2004
IEEE

Abstraction and Refinement in Protocol Derivation

14 years 4 months ago
Abstraction and Refinement in Protocol Derivation
Anupam Datta, Ante Derek, John C. Mitchell, Dusko
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2004
Where CSFW
Authors Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic
Comments (0)