Atlas home || Conferences | Abstracts | about Atlas

Security through Analysis and Verification

December 10-15, 2000

Wadern, Germany

Mathematics

Host: Schloss Dagstuhl
Homepage: http://www.dagstuhl.de/DATA/Seminars/00/#00501
Email: office@dagstuhl.de

Organizers: P. Degano (Pisa), R. Gorrieri (Bologna), C. Hankin (London), F. Nielson (Aarhus), H. Riis Nielson (Aarhus)

Date received: March 21, 2000

© 2008 Atlas Conferences Inc.