22nd International Conference, CC 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
Ranjit Jhala, Koen de Bosschere (eds.)
New York :
Springer,
c2013
1 online resource
Advanced research in computing and software science
Lecture notes in computer science,
LNCS sublibrary. SL 1, Theoretical computer science and general issues