Relational string abstract domains

From MaRDI portal
Publication:2152641