2010'

@proceedings{DBLP:conf/cie/2010,
  editor    = {Fernando Ferreira and
               Benedikt L{\"o}we and
               Elvira Mayordomo and
               Lu\'{\i}s Mendes Gomes},
  title     = {Programs, Proofs, Processes, 6th Conference on Computability
               in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June
               30 - July 4, 2010. Proceedings},
  booktitle = {CiE},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {6158},
  year      = {2010},
  isbn      = {978-3-642-13961-1},
  ee        = {http://dx.doi.org/10.1007/978-3-642-13962-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}