Unifying Theories of Undefinedness in UTP

Jim Woodcock; Victor Bandur

doi:10.1007/978-3-642-35705-3_1

Unifying Theories of Undefinedness in UTP

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
Editors	Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi
Place of Publication	Heidelberg
Publisher	Springer
Pages	1-22
Number of pages	22
Volume	7681
ISBN (Print)	978-3-642-35704-6
DOIs	https://doi.org/10.1007/978-3-642-35705-3_1
Publication status	Published - 2012

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer

Bibliographical note

© 2013 Springer-Verlag Berlin Heidelberg. This is an author-produced version of the published chapter. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.

Access to Document

10.1007/978-3-642-35705-3_1

ut-undefinedness
© 2013 Springer-Verlag Berlin Heidelberg. This is an author-produced version of the published chapter. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.
Final published version, 273 KB

Cite this

Woodcock, J., & Bandur, V. (2012). Unifying Theories of Undefinedness in UTP. In B. Wolff, M.-C. Gaudel, & A. Feliachi (Eds.), Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers (Vol. 7681, pp. 1-22). (Lecture Notes in Computer Science). Springer. https://doi.org/10.1007/978-3-642-35705-3_1

@inproceedings{6925bcd04aa249ea816319adf5d04bb8,

title = "Unifying Theories of Undefinedness in UTP",

author = "Jim Woodcock and Victor Bandur",

note = "{\textcopyright} 2013 Springer-Verlag Berlin Heidelberg. This is an author-produced version of the published chapter. Uploaded in accordance with the publisher{\textquoteright}s self-archiving policy. Further copying may not be permitted; contact the publisher for details. ",

year = "2012",

doi = "10.1007/978-3-642-35705-3_1",

language = "English",

isbn = "978-3-642-35704-6",

volume = "7681",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "1--22",

editor = "Burkhart Wolff and Marie-Claude Gaudel and Abderrahmane Feliachi",

booktitle = "Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers",

address = "Germany",

}

Woodcock, J & Bandur, V 2012, Unifying Theories of Undefinedness in UTP. in B Wolff, M-C Gaudel & A Feliachi (eds), Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers. vol. 7681, Lecture Notes in Computer Science, Springer, Heidelberg, pp. 1-22. https://doi.org/10.1007/978-3-642-35705-3_1

Unifying Theories of Undefinedness in UTP. / Woodcock, Jim ; Bandur, Victor.
Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers. ed. / Burkhart Wolff; Marie-Claude Gaudel; Abderrahmane Feliachi. Vol. 7681 Heidelberg: Springer, 2012. p. 1-22 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Unifying Theories of Undefinedness in UTP

AU - Woodcock, Jim

AU - Bandur, Victor

N1 - © 2013 Springer-Verlag Berlin Heidelberg. This is an author-produced version of the published chapter. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.

PY - 2012

Y1 - 2012

U2 - 10.1007/978-3-642-35705-3_1

DO - 10.1007/978-3-642-35705-3_1

M3 - Conference contribution

SN - 978-3-642-35704-6

VL - 7681

T3 - Lecture Notes in Computer Science

SP - 1

EP - 22

BT - Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

A2 - Wolff, Burkhart

A2 - Gaudel, Marie-Claude

A2 - Feliachi, Abderrahmane

PB - Springer

CY - Heidelberg

ER -