4 citations · 4 across the 1 of their papers we have counts for
1 paper
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…