Science of Computer Programming, Volume 85

Volume 85, Part A, June 2014

Special issue on Experimental Software Engineering in the Cloud (ESEiC)

Volume 85, Part B, June 2014

Special Issue on Mathematics of Program Construction 2012
maintained by Schloss Dagstuhl LZI, founded at University of Trier