Publication

On Modular Pluggable Analyses Using Set Interfaces