@proceedings{DBLP:conf/iceccs/2010,
  editor    = {Radu Calinescu and
               Richard F. Paige and
               Marta Z. Kwiatkowska},
  title     = {15th IEEE International Conference on Engineering of Complex
               Computer Systems, ICECCS 2010, Oxford, United Kingdom, 22-26
               March 2010},
  booktitle = {ICECCS},
  publisher = {IEEE Computer Society},
  year      = {2010},
  isbn      = {978-0-7695-4015-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}