On the power and limitations of strictness analysis

From MaRDI portal
Publication:4376980