APA   Click to copy
Amaral, C., Florido, M., & Jansson, P. (2011). Interfacing dynamically typed languages and the Why tool: reasoning about lists and tuples. In K. Rikitake & E. Stenman (Eds.), Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011 (pp. 92–93). ACM. https://doi.org/10.1145/2034654.2034673

Chicago/Turabian   Click to copy
Amaral, Cláudio, Mário Florido, and Patrik Jansson. “Interfacing Dynamically Typed Languages and the Why Tool: Reasoning about Lists and Tuples.” In Proceedings of the 10th ACM SIGPLAN Workshop on Erlang, Tokyo, Japan, September 23, 2011, edited by Kenji Rikitake and Erik Stenman, 92–93. ACM, 2011.

MLA   Click to copy
Amaral, Cláudio, et al. “Interfacing Dynamically Typed Languages and the Why Tool: Reasoning about Lists and Tuples.” Proceedings of the 10th ACM SIGPLAN Workshop on Erlang, Tokyo, Japan, September 23, 2011, edited by Kenji Rikitake and Erik Stenman, ACM, 2011, pp. 92–93, doi:10.1145/2034654.2034673.

@inproceedings{amaral2011a,
  title = {Interfacing dynamically typed languages and the Why tool: reasoning about lists and tuples},
  year = {2011},
  pages = {92--93},
  publisher = {ACM},
  doi = {10.1145/2034654.2034673},
  author = {Amaral, Cláudio and Florido, Mário and Jansson, Patrik},
  editor = {Rikitake, Kenji and Stenman, Erik},
  booktitle = {Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011}
}