Ferreira, F., LΓΆwe, B., Mayordomo, E., & Mendes Gomes, L. (2010). Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 β July 4, 2010. Proceedings. Springer-Verlag Berlin Heidelberg.
Chicago Style (17th ed.) CitationFerreira, Fernando, Benedikt LΓΆwe, Elvira Mayordomo, and LuΓs Mendes Gomes. Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 β July 4, 2010. Proceedings. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2010.
MLA (8th ed.) CitationFerreira, Fernando, et al. Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 β July 4, 2010. Proceedings. Springer-Verlag Berlin Heidelberg, 2010.