BibTeX record conf/iwfm/Stewart97

download as .bib file

@inproceedings{DBLP:conf/iwfm/Stewart97,
  author       = {Alan Stewart},
  editor       = {Henry McGloughlin and
                  Gerard O'Regan},
  title        = {An Axiomatic Semantics for Data Parallel Computation},
  booktitle    = {1st Irish Workshop on Formal Methods, {IWFM} 1997, Dublin, Ireland,
                  3-4 July 1997},
  series       = {Workshops in Computing},
  publisher    = {{BCS}},
  year         = {1997},
  url          = {http://ewic.bcs.org/content/ConWebDoc/4618},
  timestamp    = {Tue, 19 Jun 2018 08:04:20 +0200},
  biburl       = {https://dblp.org/rec/conf/iwfm/Stewart97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics