Original language | English |
---|---|
Title of host publication | Unifying Theories of Programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers |
Editors | Jonathan P. Bowen, Huibiao Zhu |
Publisher | Springer |
Publication date | 2017 |
Pages | 65-92 |
ISBN (Print) | 978-3-319-52227-2 |
ISBN (Electronic) | 978-3-319-52228-9 |
DOIs | |
Publication status | Published - 2017 |
Event | The 6th International Symposium on Unifying Theories of Programming - Reykjavik, Iceland Duration: 4 Jun 2016 → 5 Jun 2016 Conference number: 6th http://utp2016.ecnu.edu.cn/ |
Conference
Conference | The 6th International Symposium on Unifying Theories of Programming |
---|---|
Number | 6th |
Country/Territory | Iceland |
City | Reykjavik |
Period | 04/06/2016 → 05/06/2016 |
Internet address |
Series | Lecture Notes in Computer Science |
---|---|
Volume | 10134 |
ISSN | 0302-9743 |