Expressive Power of Specification Languages - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Ian J. Hayes. Expressive Power of Specification Languages. Formal Asp. Comput., 10(2):187-192, 1998.

@article{Hayes98:0,
  title = {Expressive Power of Specification Languages},
  author = {Ian J. Hayes},
  year = {1998},
  researchr = {https://researchr.org/publication/Hayes98%3A0},
  cites = {0},
  citedby = {0},
  journal = {Formal Asp. Comput.},
  volume = {10},
  number = {2},
  pages = {187-192},
}

runs on WebDSL