Software Composition 11th International Conference, SC 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings - Gschwind, Thomas; Paoli, Flavio De; Gruhn, Volker; Book, Matthias (Berlin, Heidelberg : Springer Berlin Heidelberg, 2012)
Keywords: Computer science; Computer communication systems; Computer programming; Software engineering; Programming languages (Electronic computers).; Computer logic; Mathematical logic