An Example of Hierarchical Design and Proof - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Jay M. Spitzen, Karl N. Levitt, Lawrence Robinson. An Example of Hierarchical Design and Proof. Communications of the ACM, 21(12):1064-1075, 1978.

@article{SpitzenLR78,
  title = {An Example of Hierarchical Design and Proof},
  author = {Jay M. Spitzen and Karl N. Levitt and Lawrence Robinson},
  year = {1978},
  tags = {design},
  researchr = {https://researchr.org/publication/SpitzenLR78},
  cites = {0},
  citedby = {0},
  journal = {Communications of the ACM},
  volume = {21},
  number = {12},
  pages = {1064-1075},
}

runs on WebDSL