Skip to content

Formal Study of Plane Delaunay Triangulation.

Jean-Franois Dufourd, Yves Bertot

VenueBITP
Year2010
ProceedingsITP

Browse the full ITP paper archive.