Computer Science - Research and Development, Volume 28

Volume 28, Number 1, February 2013

SE 2010

Volume 28, Numbers 2-3, May 2013

ISC'12

Volume 28, Number 4, November 2013

Rigorous Software Engineering
a service of Schloss Dagstuhl - Leibniz Center for Informatics