Original language | English |
---|---|
Title of host publication | Lecture Notes in Computer Science |
Editors | Qin Shengchao |
Publisher | Springer Verlag |
Volume | 6445 |
ISBN (Print) | 9783642166891 |
DOIs | |
Publication status | Published - 2010 |
Event | 3rd International Symposium on Unifying Theories of Programming - Shanghai, China Duration: 15 Nov 2010 → 16 Nov 2010 Conference number: 3 https://link.springer.com/chapter/10.1007%2F978-3-642-16690-7_13 |
Conference
Conference | 3rd International Symposium on Unifying Theories of Programming |
---|---|
Abbreviated title | UTP2010 |
Country/Territory | China |
City | Shanghai |
Period | 15/11/10 → 16/11/10 |
Internet address |