Science of Computer Programming, Volume 94

Volume 94, Part 1, November 2014

Web Technologies: Selected and extended papers from WT ACM SAC 2012

Volume 94, Part 2, November 2014

Abstract State Machines, Alloy, B, VDM, and Z - Selected and extended papers from ABZ 2012

Volume 94, Part 3, November 2014

Selected best papers from the 7th International Workshop on Formal Aspects of Component Software (FACS 2010)
maintained by Schloss Dagstuhl LZI, founded at University of Trier