Unifying Theories of Programming - 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers

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

Editors

David Naumann

This author has not been identified. Look up 'David Naumann' in Google