Originalsprache | englisch |
---|---|
Titel | Proceedings of UTP 2008, the 2nd International Symposium on Unifying Theories of Programming, 8th-10th September, Trinity College Dublin, Ireland |
Herausgeber (Verlag) | . |
Seiten | 181-201 |
Publikationsstatus | Veröffentlicht - 2010 |
Publikationsreihe
Name | LNCS |
---|
Treatment code (Nähere Zuordnung)
- Theoretical