On the Use of Formal Techniques for Validation - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Neeraj Suri, Purnendu Sinha. On the Use of Formal Techniques for Validation. In FTCS. pages 390-399, 1998.

@inproceedings{SuriS98,
  title = {On the Use of Formal Techniques for Validation},
  author = {Neeraj Suri and Purnendu Sinha},
  year = {1998},
  researchr = {https://researchr.org/publication/SuriS98},
  cites = {0},
  citedby = {0},
  pages = {390-399},
  booktitle = {FTCS},
}

runs on WebDSL