BibTeX record journals/njc/DahlOB98

download as .bib file

@article{DBLP:journals/njc/DahlOB98,
  author    = {Ole{-}Johan Dahl and
               Olaf Owe and
               Tore J. Bastiansen},
  title     = {Subtyping and Constructive Specification},
  journal   = {Nord. J. Comput.},
  volume    = {5},
  number    = {1},
  year      = {1998},
  timestamp = {Wed, 14 Jan 2004 15:33:49 +0100},
  biburl    = {https://dblp.org/rec/journals/njc/DahlOB98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics