Refinement Based Methods for the Construction of Dependable Systems, 13.09. - 18.09.2009 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Jean-Raymond Abrial, Michael J. Butler, Rajev Joshi, Elena Troubitsyna, J. C. P. Woodcock, editors, Refinement Based Methods for the Construction of Dependable Systems, 13.09. - 18.09.2009. Volume 09381 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009. [doi]

Conference: Dagstuhl2009

Abstract is missing.

09381 Extended Abstracts Collection - Refinement Based Methods for the Construction of Dependable SystemsJean-Raymond Abrial, Michael J. Butler, Rajev Joshi, Elena Troubitsyna, J. C. P. Woodcock. [doi]

runs on WebDSL