Financial cryptography [electronic resource] : 7th International Conference, FC 2003, Guadeloupe, French West Indies, January 27-30, 2003 : revised papers / Rebecca N. Wright (ed.)

This book constitutes the refereed proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, held in Boulder, CO, USA in July 2003. The 32 revised full papers and 9 tool papers presented were carefully reviewed and selected from a total of 102 submissions. The papers...

Full description

Saved in:
Bibliographic Details
Online Access: Full Text (via Springer)
Corporate Author: FC (Conference) Guadeloupe)
Other Authors: Wright, Rebecca N., 1967-
Format: Electronic Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, 2003.
Series:Lecture notes in computer science ; 2742.
Subjects:

Internet

Full Text (via Springer)

Online

Holdings details from Online
Call Number: HG1710 .F35 2003
HG1710 .F35 2003 Available