Atlas home || Conferences | Abstracts | about Atlas

Can Formal Methods Cope with Software-Intensive Systems

May 27 - June 1, 2001

Wadern, Germany

Mathematics

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

Organizers: S. Jähnichen (GMD Berlin), J. Kramer (London), M. Lemoine (Toulouse), M. Wirsing (Univ. München)

Date received: March 21, 2000

© 2008 Atlas Conferences Inc.