Kurt Mehlhorn, Stefan Näher, Thomas Schilz, Stefan Schirra, Michael Seel, Raimund Seidel, Christian Uhrig. Checking Geometric Programs or Verification of Geometric Structures. In Symposium on Computational Geometry. pages 159-165, 1996. [doi]
@inproceedings{MehlhornNSSSSU96,
title = {Checking Geometric Programs or Verification of Geometric Structures},
author = {Kurt Mehlhorn and Stefan Näher and Thomas Schilz and Stefan Schirra and Michael Seel and Raimund Seidel and Christian Uhrig},
year = {1996},
doi = {10.1145/237218.237344},
url = {http://doi.acm.org/10.1145/237218.237344},
tags = {program verification},
researchr = {https://researchr.org/publication/MehlhornNSSSSU96},
cites = {0},
citedby = {0},
pages = {159-165},
booktitle = {Symposium on Computational Geometry},
}