Unifying theories of programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, revised selected papers /

Corporate Authors: UTP 2012 Paris, France); SpringerLink (Online service)
Group Author: Wolff, Burkhart, 1962-; Gaudel, M.-C. (Marie-Claude); Feliachi, Abderrahmane.
Published: