Unifying Theories of Programming
Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
- Editors
- (view affiliations)
Conference proceedings
UTP 2010
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6445)