By the same authors

Unifying Theories of Undefinedness in UTP

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Full text download(s)

Published copy (DOI)



Publication details

Title of host publicationUnifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
DatePublished - 2012
Number of pages22
Place of PublicationHeidelberg
EditorsBurkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi
Original languageEnglish
ISBN (Print)978-3-642-35704-6

Publication series

NameLecture Notes in Computer Science

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.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations