APA   Click to copy
Ionescu, C., Jansson, P., & Botta, N. (2018). Type Theory as a Framework for Modelling and Programming. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I (Vol. 11244, pp. 119–133). Springer. https://doi.org/10.1007/978-3-030-03418-4_8

Chicago/Turabian   Click to copy
Ionescu, Cezar, Patrik Jansson, and Nicola Botta. “Type Theory as a Framework for Modelling and Programming.” In Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I, edited by Tiziana Margaria and Bernhard Steffen, 11244:119–133. Lecture Notes in Computer Science. Springer, 2018.

MLA   Click to copy
Ionescu, Cezar, et al. “Type Theory as a Framework for Modelling and Programming.” Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I, edited by Tiziana Margaria and Bernhard Steffen, vol. 11244, Springer, 2018, pp. 119–33, doi:10.1007/978-3-030-03418-4_8.

@inproceedings{ionescu2018a,
  title = {Type Theory as a Framework for Modelling and Programming},
  year = {2018},
  pages = {119--133},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {11244},
  doi = {10.1007/978-3-030-03418-4_8},
  author = {Ionescu, Cezar and Jansson, Patrik and Botta, Nicola},
  editor = {Margaria, Tiziana and Steffen, Bernhard},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.  Modeling - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I}
}