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.
BibTeX
Click to copy
@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}
}