Special Issue

PIC

Best papers from SCAM 2010 will be considered for revision, extension, and publication in a special issue of the Science of Computer Programming  journal edited by Elsevier.