From Monolithic to Modular Formal Specification - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Gordon A. Rose. From Monolithic to Modular Formal Specification. In ICFEM. pages 122, 1998. [doi]

@inproceedings{Rose98:1,
  title = {From Monolithic to Modular Formal Specification},
  author = {Gordon A. Rose},
  year = {1998},
  url = {http://computer.org/proceedings/icfem/9198/91980122abs.htm},
  researchr = {https://researchr.org/publication/Rose98%3A1},
  cites = {0},
  citedby = {0},
  pages = {122},
  booktitle = {ICFEM},
}

runs on WebDSL