Original language | English |
---|---|
Journal | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Volume | 8963 |
State | Published - 2015 |
Event | 5th International Symposium on Unifying Theories of Programming, UTP 2014 - Singapore, Singapore Duration: 13 May 2014 → 13 May 2014 |
Preface
Research output: Contribution to journal › Editorial