BibTeX record conf/sigsoft/EvansGHT94

download as .bib file

@inproceedings{DBLP:conf/sigsoft/EvansGHT94,
  author       = {David E. Evans and
                  John V. Guttag and
                  James J. Horning and
                  Yang Meng Tan},
  editor       = {David S. Wile},
  title        = {LCLint: {A} Tool for Using Specifications to Check Code},
  booktitle    = {Proceedings of the Second {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1994, New Orleans, Louisiana, USA,
                  December 6-9, 1994},
  pages        = {87--96},
  publisher    = {{ACM}},
  year         = {1994},
  url          = {https://doi.org/10.1145/193173.195297},
  doi          = {10.1145/193173.195297},
  timestamp    = {Tue, 16 Aug 2022 23:04:26 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/EvansGHT94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.