APA   Click to copy
Bernardy, J.-P., Jansson, P., & Claessen, K. (2010). Testing Polymorphic Properties. In A. D. Gordon (Ed.), Programming Languages and Systems, 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings (Vol. 6012, pp. 125–144). Springer. https://doi.org/10.1007/978-3-642-11957-6_8

Chicago/Turabian   Click to copy
Bernardy, Jean-Philippe, Patrik Jansson, and Koen Claessen. “Testing Polymorphic Properties.” In Programming Languages and Systems, 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings, edited by Andrew D. Gordon, 6012:125–144. Lecture Notes in Computer Science. Springer, 2010.

MLA   Click to copy
Bernardy, Jean-Philippe, et al. “Testing Polymorphic Properties.” Programming Languages and Systems, 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings, edited by Andrew D. Gordon, vol. 6012, Springer, 2010, pp. 125–44, doi:10.1007/978-3-642-11957-6_8.

@inproceedings{bernardy2010a,
  title = {Testing Polymorphic Properties},
  year = {2010},
  pages = {125--144},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {6012},
  doi = {10.1007/978-3-642-11957-6_8},
  author = {Bernardy, Jean-Philippe and Jansson, Patrik and Claessen, Koen},
  editor = {Gordon, Andrew D.},
  booktitle = {Programming Languages and Systems, 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings}
}