Science of Computer Programming, Volume 91

Refine list

showing all ?? records

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