ETAPS 2013: 16-24 March 2013, Rome, Italy
The proceedings of the 6 main conferences and 20 satellite workshops of ETAPS 2013 appear in 6 volumes of Springer's LNCS, 9 volumes of the Open Publishing Association's EPTCS, 2 volumes of ECEASST, 1 volume of Elsevier's ENTCS.
Some journal special issues are in the making.
Here are the links to the online editions of these publications.
We have 123 guests and no members online