@article{RiponM10,
  title = {Verification of Symmetry Detection using PVS},
  author = {Shamim Ripon and Alice Miller},
  year = {2010},
  url = {http://journal.ub.tu-berlin.de/eceasst/article/view/555},
  researchr = {https://researchr.org/publication/RiponM10},
  cites = {0},
  citedby = {0},
  journal = {ECEASST},
  volume = {35},
}