Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry.

Jens Brandt, Klaus Schneider

Browse the full ICFEM paper archive.