APA   Click to copy
Ionescu, C., & Jansson, P. (2011). Testing versus proving in climate impact research. In N. A. Danielsson & B. Nordström (Eds.), 18th International Workshop on Types for Proofs and Programs, TYPES 2011, September 8-11, 2011, Bergen, Norway (Vol. 19, pp. 41–54). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.TYPES.2011.41

Chicago/Turabian   Click to copy
Ionescu, Cezar, and Patrik Jansson. “Testing versus Proving in Climate Impact Research.” In 18th International Workshop on Types for Proofs and Programs, TYPES 2011, September 8-11, 2011, Bergen, Norway, edited by Nils Anders Danielsson and Bengt Nordström, 19:41–54. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2011.

MLA   Click to copy
Ionescu, Cezar, and Patrik Jansson. “Testing versus Proving in Climate Impact Research.” 18th International Workshop on Types for Proofs and Programs, TYPES 2011, September 8-11, 2011, Bergen, Norway, edited by Nils Anders Danielsson and Bengt Nordström, vol. 19, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2011, pp. 41–54, doi:10.4230/LIPIcs.TYPES.2011.41.

@inproceedings{ionescu2011a,
  title = {Testing versus proving in climate impact research},
  year = {2011},
  pages = {41--54},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
  series = {LIPIcs},
  volume = {19},
  doi = {10.4230/LIPIcs.TYPES.2011.41},
  author = {Ionescu, Cezar and Jansson, Patrik},
  editor = {Danielsson, Nils Anders and Nordström, Bengt},
  booktitle = {18th International Workshop on Types for Proofs and Programs, TYPES 2011, September 8-11, 2011, Bergen, Norway}
}