By the same authors

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

Research output: Contribution to conferencePaper

Standard

Refinement Based Methods for the Construction of Dependable Systems, 13.09. - 18.09.2009. / Abrial, Jean-Raymond; Butler, Michael J.; Joshi, Rajev; Troubitsyna, Elena; Woodcock, J. C. P.

2009.

Research output: Contribution to conferencePaper

Harvard

Abrial, J-R, Butler, MJ, Joshi, R, Troubitsyna, E & Woodcock, JCP 2009, 'Refinement Based Methods for the Construction of Dependable Systems, 13.09. - 18.09.2009'.

APA

Abrial, J-R., Butler, M. J., Joshi, R., Troubitsyna, E., & Woodcock, J. C. P. (2009). Refinement Based Methods for the Construction of Dependable Systems, 13.09. - 18.09.2009.

Vancouver

Abrial J-R, Butler MJ, Joshi R, Troubitsyna E, Woodcock JCP. Refinement Based Methods for the Construction of Dependable Systems, 13.09. - 18.09.2009. 2009.

Author

Abrial, Jean-Raymond ; Butler, Michael J. ; Joshi, Rajev ; Troubitsyna, Elena ; Woodcock, J. C. P. / Refinement Based Methods for the Construction of Dependable Systems, 13.09. - 18.09.2009.

Bibtex - Download

@conference{120109f79f6b42e88e6c85b8fdb449c0,
title = "Refinement Based Methods for the Construction of Dependable Systems, 13.09. - 18.09.2009",
author = "Jean-Raymond Abrial and Butler, {Michael J.} and Rajev Joshi and Elena Troubitsyna and Woodcock, {J. C. P.}",
year = "2009",
language = "Undefined/Unknown",

}

RIS (suitable for import to EndNote) - Download

TY - CONF

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

AU - Abrial, Jean-Raymond

AU - Butler, Michael J.

AU - Joshi, Rajev

AU - Troubitsyna, Elena

AU - Woodcock, J. C. P.

PY - 2009

Y1 - 2009

M3 - Paper

ER -