Dagstuhl Seminar Proceedings, Volume 9381,

• Jean-Raymond Abrial, Michael Butler, Rajev Joshi, Elena Troubitsyna, and Jim C. P. Woodcock 09381 Extended Abstracts Collection – Refinement Based Methods for the Construction of Dependable Systems 10.4230/DagSemProc.09381.1