Distributed Key-Manager Verification

Language:
English
This package contains the F# and F7 source files to aid in the verification of a distributed key-management system. Last published: December 2, 2010.