BibTeX record conf/adt/SannellaT86

download as .bib file

@inproceedings{DBLP:conf/adt/SannellaT86,
  author       = {Donald Sannella and
                  Andrzej Tarlecki},
  editor       = {Klaus Drosten and
                  Hans{-}Dieter Ehrich and
                  Martin Gogolla and
                  Udo W. Lipeck},
  title        = {Extended {ML:} An Institution-Independent Framework for Formal Program
                  Development},
  booktitle    = {Proceedings of the 4st Workshop on Abstract Data Type, 1986. University
                  of Braunschweig, Germany},
  year         = {1986},
  timestamp    = {Fri, 19 Jul 2019 16:40:26 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/SannellaT86.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.