Types and Invariants in the Refinement Calculus - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Carroll Morgan, Trevor Vickers. Types and Invariants in the Refinement Calculus. Science of Computer Programming, 14(2-3):281-304, 1990.

@article{MorganV90,
  title = {Types and Invariants in the Refinement Calculus},
  author = {Carroll Morgan and Trevor Vickers},
  year = {1990},
  tags = {refinement},
  researchr = {https://researchr.org/publication/MorganV90},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {14},
  number = {2-3},
  pages = {281-304},
}

runs on WebDSL