Reachability Analysis of Graph Modelled Collections.

Serwah Sabetghadam, Mihai Lupu, Ralf Bierig, Andreas Rauber

Browse the full ECIR paper archive.