BibTeX record conf/ispw/Finkelstein86

download as .bib file

@inproceedings{DBLP:conf/ispw/Finkelstein86,
  author       = {Anthony Finkelstein},
  editor       = {Mark Dowson},
  title        = {Making formal specifications dynamic objects},
  booktitle    = {Proceedings of the Third International Software Process Workshop {(ISPW}
                  '86), November 1986, Beckenridge, Colorado, {USA}},
  pages        = {133--136},
  publisher    = {{IEEE} Computer Society},
  year         = {1986},
  timestamp    = {Tue, 06 May 2003 07:47:53 +0200},
  biburl       = {https://dblp.org/rec/conf/ispw/Finkelstein86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}