David Naumann, editor, Unifying Theories of Programming - 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers. Volume 8963 of Lecture Notes in Computer Science, Springer, 2015. [doi]
Conference: utp2015
No references recorded for this publication.
No citations of this publication recorded.