1 paper
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…