LDM: A Program Specification Support System - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Zsuzsa Farkas, Péter Szeredi, E. Sántáné-Tóth. LDM: A Program Specification Support System. In ICLP. pages 123-128, 1982.

@inproceedings{FarkasSS82,
  title = {LDM: A Program Specification Support System},
  author = {Zsuzsa Farkas and Péter Szeredi and E. Sántáné-Tóth},
  year = {1982},
  tags = {e-science},
  researchr = {https://researchr.org/publication/FarkasSS82},
  cites = {0},
  citedby = {0},
  pages = {123-128},
  booktitle = {ICLP},
}

runs on WebDSL