Semantics of EqL

Bharat Jayaraman. Semantics of EqL. IEEE Trans. Software Eng., 14(4):472-480, 1988. [doi]

@article{Jayaraman88,
  title = {Semantics of EqL},
  author = {Bharat Jayaraman},
  year = {1988},
  url = {http://www.computer.org/tse/ts1988/e0472abs.htm},
  tags = {semantics},
  researchr = {https://researchr.org/publication/Jayaraman88},
  cites = {0},
  citedby = {0},
  journal = {IEEE Trans. Software Eng.},
  volume = {14},
  number = {4},
  pages = {472-480},
}