@inproceedings{9ef4de5586c4463981e787e5d4c4569f,
title = "Unifying theories of programming 5th international symposium, UTP 2014 Singapore, may 13, 2014 revised selected papers",
author = "David Naumann",
year = "2015",
doi = "10.1007/978-3-319-14806-9",
language = "English",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
editor = "David Naumann",
booktitle = "Unifying Theories of Programming - 5th International Symposium, UTP 2014, Revised Selected Papers",
note = "5th International Symposium on Unifying Theories of Programming, UTP 2014 ; Conference date: 13-05-2014 Through 13-05-2014",
}