Observational Implementation of Algebraic Specifications - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Rolf Hennicker. Observational Implementation of Algebraic Specifications. Acta Informatica, 28(3):187-230, 1991.

@article{Hennicker91:0,
  title = {Observational Implementation of Algebraic Specifications},
  author = {Rolf Hennicker},
  year = {1991},
  tags = {algebraic specification,  algebra},
  researchr = {https://researchr.org/publication/Hennicker91%3A0},
  cites = {0},
  citedby = {0},
  journal = {Acta Informatica},
  volume = {28},
  number = {3},
  pages = {187-230},
}

runs on WebDSL