4 citations · 4 across the 1 of their papers we have counts for
1 paper · 1 filter
Thomas Bellet, Agnès Arnould, Pascale Le Gall
The context of this paper is the use of formal methods for topology-based geometric modelling. Topology-based geometric modelling deals with objects of various dimensions and shape…