Better Verification Through Symmetry - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

C. Norris Ip, David L. Dill. Better Verification Through Symmetry. Formal Methods in System Design, 9(1/2):41-75, 1996.

@article{IpD96,
  title = {Better Verification Through Symmetry},
  author = {C. Norris Ip and David L. Dill},
  year = {1996},
  tags = {C++},
  researchr = {https://researchr.org/publication/IpD96},
  cites = {0},
  citedby = {0},
  journal = {Formal Methods in System Design},
  volume = {9},
  number = {1/2},
  pages = {41-75},
}

runs on WebDSL