Publication Overview

Kurt Mehlhorn and Stefan Näher and Thomas Schilz and Stefan Schirra and Michael Seel and Raimund Seidel and Christian Uhrig

Checking Geometric Programs or Verification of Geometric Structures

Published in: Symposium on Computational Geometry
Year: 1996
Pages: 159-165