Publications of Stefan Schirra
1999
Checking geometric programs or verification of geometric structures (1999), in: Computational Geometry: Theory and Applications, 12:1-2(85-103) | , , , , , and ,
[DOI] |
Checking geometric programs or verification of geometric structures (1999), in: Computational Geometry: Theory and Applications, 12:1-2(85-103) | , , , , , and ,
[DOI] |