Tags

dynamic invariants
empirical studies
conflicts
parallel work