Distributed Cooperative Formal Methods Tools - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Joseph A. Goguen, Kai Lin, A. Mori, Grigore Rosu, A. Sato. Distributed Cooperative Formal Methods Tools. In ASE. pages 55-62, 1997. [doi]

@inproceedings{GoguenLMRS97,
  title = {Distributed Cooperative Formal Methods Tools},
  author = {Joseph A. Goguen and Kai Lin and A. Mori and Grigore Rosu and A. Sato},
  year = {1997},
  url = {http://computer.org/proceedings/ase/7961/79610055abs.htm},
  researchr = {https://researchr.org/publication/GoguenLMRS97},
  cites = {0},
  citedby = {0},
  pages = {55-62},
  booktitle = {ASE},
}

runs on WebDSL