Dependable Polygon-Processing Algorithms for Safety-Critical Embedded Systems.

Jens Brandt, Klaus Schneider

Browse the full EUC paper archive.