Rigorous Methods for Software Construction and Analysis, 07.05. - 12.05.2006

Jean-Raymond Abrial, Uwe Glässer, editors, Rigorous Methods for Software Construction and Analysis, 07.05. - 12.05.2006. Volume 06191 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.

Conference: Dagstuhl2006

Editors

Jean-Raymond Abrial

This author has not been identified. Look up 'Jean-Raymond Abrial' in Google

Uwe Glässer

This author has not been identified. Look up 'Uwe Glässer' in Google