Unifying Theories of Programming
UTP 2012: Paris, France
Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (Eds.): Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers. Springer 2013 Lecture Notes in Computer Science 7681 ISBN 978-3-642-35704-6 [ contents ]
UTP 2010: Shanghai, China
- Shengchao Qin (Ed.): Unifying Theories of Programming - Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings. Springer 2010 Lecture Notes in Computer Science 6445 ISBN 978-3-642-16689-1 [ contents ]
UTP 2008: Dublin, Ireland
- Andrew Butterfield (Ed.): Unifying Theories of Programming, Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers. Springer 2010 Lecture Notes in Computer Science 5713 ISBN 978-3-642-14520-9 [ contents ]
UTP 2006: Walworth Castle, County Durham, UK
- Steve Dunne, Bill Stoddart (Eds.): Unifying Theories of Programming, First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers. Springer 2006 Lecture Notes in Computer Science 4010 ISBN 3-540-34750-X [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team