BibTeX record conf/sigsoft/JeffordsH98

download as .bib file

@inproceedings{DBLP:conf/sigsoft/JeffordsH98,
  author    = {Ralph D. Jeffords and
               Constance L. Heitmeyer},
  editor    = {Leon J. Osterweil and
               William L. Scherlis},
  title     = {Automatic Generation of State Invariants from Requirements Specifications},
  booktitle = {Proceedings of the {ACM} {SIGSOFT} International Symposium on Foundations
               of Software Engineering, {SIGSOFT} 1998, Lake Buena Vista, Florida,
               USA, November 3-5, 1998},
  pages     = {56--69},
  publisher = {{ACM}},
  year      = {1998},
  url       = {https://doi.org/10.1145/288195.288218},
  doi       = {10.1145/288195.288218},
  timestamp = {Tue, 27 Jul 2021 17:16:40 +0200},
  biburl    = {https://dblp.org/rec/conf/sigsoft/JeffordsH98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics