Realising the Benefits of Formal Methods - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Anthony Hall. Realising the Benefits of Formal Methods. J. UCS, 13(5):669-678, 2007. [doi]

@article{Hall07:2,
  title = {Realising the Benefits of Formal Methods},
  author = {Anthony Hall},
  year = {2007},
  url = {http://www.jucs.org/jucs_13_5/realising_the_benefits_of},
  researchr = {https://researchr.org/publication/Hall07%3A2},
  cites = {0},
  citedby = {0},
  journal = {J. UCS},
  volume = {13},
  number = {5},
  pages = {669-678},
}

runs on WebDSL