Rewriting Approximations for Fast Prototyping of Static Analyzers

From MaRDI portal
Publication:5432332