BibTeX records: G.-H. Bagherzadeh Rafsanjani

download as .bib file

@inproceedings{DBLP:conf/zum/RafsanjaniC92,
  author    = {G.{-}H. Bagherzadeh Rafsanjani and
               S. J. Colwill},
  editor    = {Jonathan P. Bowen and
               John E. Nicholls},
  title     = {From Object-Z to {C++:} {A} Structural Mapping},
  booktitle = {Z User Workshop, London, UK, 14-15 December 1992, Proceedings},
  series    = {Workshops in Computing},
  pages     = {166--179},
  publisher = {Springer},
  year      = {1992},
  url       = {https://doi.org/10.1007/978-1-4471-3556-2\_12},
  doi       = {10.1007/978-1-4471-3556-2\_12},
  timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/RafsanjaniC92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/zum/CusackR92,
  author    = {Elspeth Cusack and
               G.{-}H. Bagherzadeh Rafsanjani},
  editor    = {Susan Stepney and
               Rosalind Barden and
               David Cooper},
  title     = {{ZEST}},
  booktitle = {Object Orientation in {Z}},
  series    = {Workshops in Computing},
  pages     = {113--126},
  publisher = {Springer},
  year      = {1992},
  timestamp = {Wed, 22 Nov 2017 13:50:40 +0100},
  biburl    = {https://dblp.org/rec/conf/zum/CusackR92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics