Tags

Springs
dynamic invariants
empirical studies
conflicts
parallel work