Skip to main content
Conference Proceedings

Rigorous Methods for Software Construction and Analysis

Dagstuhl Seminar Proceedings (2006) 6191
ISSN: 18624405
0Citations
Citations of this article
11Readers
Mendeley users who have this article in their library.

Abstract

We survey here the key objectives and the structure of the Dagstuhl Seminar 06191, which was organized as Festkolloquium on the occasion of Egon Börger's 60th birthday, in May 2006 in Schloss Dagstuhl, Germany.

Cite

CITATION STYLE

APA

Abrial, J. R., & Glässer, U. (2006). Rigorous Methods for Software Construction and Analysis. In Dagstuhl Seminar Proceedings (Vol. 6191). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free