Formal Methods and Open Systems - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Andrew M. Gravell, Chris H. Pratten. Formal Methods and Open Systems. Software - Concepts and Tools, 16(4):183, 1995.

@article{GravellP95,
  title = {Formal Methods and Open Systems},
  author = {Andrew M. Gravell and Chris H. Pratten},
  year = {1995},
  tags = {source-to-source, open-source},
  researchr = {https://researchr.org/publication/GravellP95},
  cites = {0},
  citedby = {0},
  journal = {Software - Concepts and Tools},
  volume = {16},
  number = {4},
  pages = {183},
}

runs on WebDSL