BibTeX record conf/sigplan/FlonH76

download as .bib file

@inproceedings{DBLP:conf/sigplan/FlonH76,
  author       = {Lawrence Flon and
                  A. Nico Habermann},
  editor       = {Elliott I. Organick and
                  Henry F. Ledgard and
                  Robert W. Taylor},
  title        = {Towards the Construction of Verifiable Software Systems},
  booktitle    = {Proceedings of the {SIGPLAN} 1976 Conference on Data: Abstraction,
                  Definition and Structure, Salt Lake City, Utah, USA, March 22-24,
                  1976},
  pages        = {141--148},
  publisher    = {{ACM}},
  year         = {1976},
  url          = {https://doi.org/10.1145/800237.807132},
  doi          = {10.1145/800237.807132},
  timestamp    = {Mon, 28 Aug 2023 21:17:42 +0200},
  biburl       = {https://dblp.org/rec/conf/sigplan/FlonH76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.