Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi, editors, Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers. Volume 7681 of Lecture Notes in Computer Science, Springer, 2013. [doi]

Conference: utp2013

Editors

Burkhart Wolff

This author has not been identified. Look up 'Burkhart Wolff' in Google

Marie-Claude Gaudel

This author has not been identified. It may be one of the following persons: Look up 'Marie-Claude Gaudel' in Google

Abderrahmane Feliachi

This author has not been identified. Look up 'Abderrahmane Feliachi' in Google