Structuring Z Specifications with Views. Jackson, D. ACM Trans. Softw. Eng. Methodol., 4(4):365-389, 1995.
bibtex   
@article{DBLP:journals/tosem/Jackson95a,
  author    = {Daniel Jackson},
  title     = {Structuring Z Specifications with Views},
  journal   = {ACM Trans. Softw. Eng. Methodol.},
  volume    = {4},
  number    = {4},
  year      = {1995},
  pages     = {365-389},
}

Downloads: 0