Contracts, Games, and Refinement - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Ralph-Johan Back, Joakim von Wright. Contracts, Games, and Refinement. Inf. Comput., 156(1-2):25-45, 2000.

@article{BackW00:0,
  title = {Contracts, Games, and Refinement},
  author = {Ralph-Johan Back and Joakim von Wright},
  year = {2000},
  tags = {contracts, refinement},
  researchr = {https://researchr.org/publication/BackW00%3A0},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {156},
  number = {1-2},
  pages = {25-45},
}

runs on WebDSL