Dependable Polygon-Processing Algorithms for Safety-Critical Embedded Systems

     paper   slides   report