Atlas home || Conferences | Abstracts | about Atlas

Semi-Formal and Formal Specification Techniques for Software Systems

Dagstuhl Seminar

October 8-13, 2000

Wadern, Germany

Mathematics

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

Organizers: H. Ehrig (TU, Berlin), G. Engels (Paderborn), F. Orejas (Barcelona), M. Wirsing (Uni München)

Date received: March 21, 2000

© 2008 Atlas Conferences Inc.