Structuring specifications in Z - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

J. C. P. Woodcock. Structuring specifications in Z. IEE Proceedings - Software, 4(1):51-66, 1989. [doi]

@article{Woodcock89,
  title = {Structuring specifications in Z},
  author = {J. C. P. Woodcock},
  year = {1989},
  url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=28090},
  researchr = {https://researchr.org/publication/Woodcock89},
  cites = {0},
  citedby = {0},
  journal = {IEE Proceedings - Software},
  volume = {4},
  number = {1},
  pages = {51-66},
}

runs on WebDSL