BibTeX record journals/loplas/Landi92

download as .bib file

@article{DBLP:journals/loplas/Landi92,
  author       = {William Landi},
  title        = {Undecidability of Static Analysis},
  journal      = {{LOPLAS}},
  volume       = {1},
  number       = {4},
  pages        = {323--337},
  year         = {1992},
  url          = {https://doi.org/10.1145/161494.161501},
  doi          = {10.1145/161494.161501},
  timestamp    = {Tue, 06 Nov 2018 12:51:32 +0100},
  biburl       = {https://dblp.org/rec/journals/loplas/Landi92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}