Constructing class invariants

From MaRDI portal
Publication:5401710