1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
Guillaume Verdier, Jean-Baptiste Raclet
The quotient operation, which is dual to the composition, is crucial in specification theories as it allows the synthesis of missing specifications and thus enables incremental des…