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...
Saved in:
Online Access: |
Full Text (via Springer) |
---|---|
Corporate Author: | |
Other Authors: | |
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
Call Number: |
HG1710 .F35 2003
|
---|---|
HG1710 .F35 2003 | Available |