Woodcock, J. &
Bandur, V.,
2012,
Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers. Wolff, B., Gaudel, M-C. & Feliachi, A. (eds.). Heidelberg:
Springer,
Vol. 7681.
p. 1-22 22 p. (Lecture Notes in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution