APA   Click to copy
Danielsson, N. A., & Jansson, P. (2004). Chasing Bottoms: A Case Study in Program Verification in the Presence of Partial and Infinite Values. In D. Kozen & C. Shankland (Eds.), Mathematics of Program Construction, 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings (Vol. 3125, pp. 85–109). Springer.

Chicago/Turabian   Click to copy
Danielsson, Nils Anders, and Patrik Jansson. “Chasing Bottoms: A Case Study in Program Verification in the Presence of Partial and Infinite Values.” In Mathematics of Program Construction, 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings, edited by Dexter Kozen and Carron Shankland, 3125:85–109. Lecture Notes in Computer Science. Springer, 2004.

MLA   Click to copy
Danielsson, Nils Anders, and Patrik Jansson. “Chasing Bottoms: A Case Study in Program Verification in the Presence of Partial and Infinite Values.” Mathematics of Program Construction, 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings, edited by Dexter Kozen and Carron Shankland, vol. 3125, Springer, 2004, pp. 85–109.

@inproceedings{danielsson2004a,
  title = {Chasing Bottoms: A Case Study in Program Verification in the Presence of Partial and Infinite Values},
  year = {2004},
  pages = {85--109},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {3125},
  author = {Danielsson, Nils Anders and Jansson, Patrik},
  editor = {Kozen, Dexter and Shankland, Carron},
  booktitle = {Mathematics of Program Construction, 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings}
}