Weakening Goals in Logical Specifications. - Ben M. Andrew (ABZ, 2025)

Counterexample-Guided Interval Weakening. - Ben M. Andrew; Louise A. Dennis; Michael Fisher 001; Marie Farrell (ABZ, 2026)