Mind the Shapes: Abstraction Refinement Via Topology Invariants

From MaRDI portal
Publication:3510783