BibTeX record conf/afips/Hulten84

download as .bib file

@inproceedings{DBLP:conf/afips/Hulten84,
  author    = {Christer Hulten},
  title     = {Simple dynamic assertions for interactive program validation},
  booktitle = {American Federation of Information Processing Societies: 1984 National
               Computer Conference, 9-12 July 1984, Las Vegas, Nevada, {USA}},
  series    = {{AFIPS} Conference Proceedings},
  volume    = {53},
  pages     = {405--410},
  publisher = {{AFIPS} Press},
  year      = {1984},
  url       = {https://doi.org/10.1145/1499310.1499362},
  doi       = {10.1145/1499310.1499362},
  timestamp = {Wed, 14 Apr 2021 16:50:07 +0200},
  biburl    = {https://dblp.org/rec/conf/afips/Hulten84.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics