Science of Computer Programming, Volume 91

Volume 91, Part A, October 2014

Special Issue on Formal Aspects of Component Software (Selected Papers from FACS'12)

Volume 91, Part B, October 2014

Special Issue on Selected Contributions from the Open Source Software Certification (OpenCert) Workshops
a service of Schloss Dagstuhl - Leibniz Center for Informatics