A Tale of Three Programs - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Gerard J. Holzmann. A Tale of Three Programs. IEEE Software, 34(3):23-26, 2017. [doi]

@article{Holzmann17b,
  title = {A Tale of Three Programs},
  author = {Gerard J. Holzmann},
  year = {2017},
  doi = {10.1109/MS.2017.62},
  url = {http://doi.ieeecomputersociety.org/10.1109/MS.2017.62},
  researchr = {https://researchr.org/publication/Holzmann17b},
  cites = {0},
  citedby = {0},
  journal = {IEEE Software},
  volume = {34},
  number = {3},
  pages = {23-26},
}

runs on WebDSL